Up

Module type T1

Signature

type 'a named

type a

val a : a Typerep.t

type t

val typename_of_named : 'a Typename.t -> 'a named Typename.t

val typename_of_t : t Typename.t

val witness : (t, a named) Type_equal.t