Type Definition type_freak::boolean::ImplyCompose

type ImplyCompose<Lhs, Rhs> = ApplyFunctor<ImplyComposePredicate, (Lhs, Rhs)>;