Type Definition type_level_logic::strong::boolean::Or

type Or<A: Bool, B: Bool> = <A as BoolOr<B>>::Output;