sig
  val structural_descr : Structural_descr.t
  val equal : '-> '-> bool
  val compare : '-> '-> int
  val hash : '-> int
  val rehash : '-> 'a
  val copy : '-> 'a
  val internal_pretty_code :
    Type.precedence -> Stdlib.Format.formatter -> '-> unit
  val pretty : Stdlib.Format.formatter -> '-> unit
  val varname : '-> string
  val mem_project : (Project_skeleton.t -> bool) -> '-> bool
end