functor (W : Sub_caml_weak_hashtbl)
  (D : sig
         type t = W.data
         val ty : t Type.t
         val name : string
         val descr : t Descr.t
         val packed_descr : Structural_descr.pack
         val reprs : t list
         val equal : t -> t -> bool
         val compare : t -> t -> int
         val hash : t -> int
         val pretty_code : Format.formatter -> t -> unit
         val internal_pretty_code :
           Type.precedence -> Format.formatter -> t -> unit
         val pretty : Format.formatter -> t -> unit
         val varname : t -> string
         val mem_project : (Project_skeleton.t -> bool) -> t -> bool
         val copy : t -> t
       end)
  ->
  sig
    type t = W.t
    val ty : t Type.t
    val name : string
    val descr : t Descr.t
    val packed_descr : Structural_descr.pack
    val reprs : t list
    val equal : t -> t -> bool
    val compare : t -> t -> int
    val hash : t -> int
    val pretty_code : Format.formatter -> t -> unit
    val internal_pretty_code :
      Type.precedence -> Format.formatter -> t -> unit
    val pretty : Format.formatter -> t -> unit
    val varname : t -> string
    val mem_project : (Project_skeleton.t -> bool) -> t -> bool
    val copy : t -> t
  end