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 -> Format.formatter -> '-> unit   val pretty : Format.formatter -> '-> unit   val varname : '-> string   val mem_project : (Project_skeleton.t -> bool) -> '-> bool end