Type Definition type_level_logic::types::ternary::U14 [−] [src]

type U14 = Two<One<One<Term>>>;