sig
  type t
  type 'a key
  val new_key :
    ?eq:('a -> 'a -> bool) ->
    ?hash:('a -> int) ->
    ?print:('a -> string) -> unit -> 'a CamlInterface.Univ.key
  val pack : key:'a CamlInterface.Univ.key -> 'a -> CamlInterface.Univ.t
  val unpack :
    key:'a CamlInterface.Univ.key -> CamlInterface.Univ.t -> 'a option
  val compatible :
    key:'a CamlInterface.Univ.key -> CamlInterface.Univ.t -> bool
  val eq : CamlInterface.Univ.t -> CamlInterface.Univ.t -> bool
  val hash : CamlInterface.Univ.t -> int
  val print : CamlInterface.Univ.t -> string
  val string : string CamlInterface.Univ.key
  val int : int CamlInterface.Univ.key
  val float : float CamlInterface.Univ.key
  val bool : bool CamlInterface.Univ.key
  val unit : unit CamlInterface.Univ.key
  val pair :
    'a CamlInterface.Univ.key ->
    'b CamlInterface.Univ.key -> ('a * 'b) CamlInterface.Univ.key
  val list : 'a CamlInterface.Univ.key -> 'a list CamlInterface.Univ.key
  val array : 'a CamlInterface.Univ.key -> 'a array CamlInterface.Univ.key
end