Up

Module type T1

Signature

type 'a named

type a

val a : a Typerep.t

type t

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

val typename_of_t : t Typerep_lib.Typename.t

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