sig type t val typename_of_t : Typename.S0.t Typename.typename end