Type Definition type_level_logic::strong::boolean::OnlyIf

type OnlyIf<A: Bool, B: Bool> = <A as BoolOnlyIf<B>>::Output;