Module type Ty.Ty

type t
val witness : t witness
val eq : 'a witness -> ('a, t) eq