dedekind::category::LiftLogic< L > Member List

This is the complete list of members for dedekind::category::LiftLogic< L >, including all inherited members.

Codomain typedef	dedekind::category::LiftLogic< L >
Domain typedef	dedekind::category::LiftLogic< L >
operator()(bool b) const (defined in dedekind::category::LiftLogic< L >)	dedekind::category::LiftLogic< L >	inline