Obj.Extension_constructor
type t = extension_constructor
val of_val : 'a -> t
val name : t -> string
val id : t -> int