[][src]Type Definition dialectic::types::unary::types::_2

type _2 = S<_1>;