Type Definition type_level_logic::strong::boolean::IfThen

type IfThen<A: Bool, B: Bool> = <A as BoolIfThen<B>>::Output;