Type Definition type_freak::boolean::NotImplyCompose

type NotImplyCompose<Lhs, Rhs> = ApplyFunctor<NotImplyComposePredicate, (Lhs, Rhs)>;