Module type S0

Signature

type t

val typename_of_t : t typename