sig   val name : 'Type.t -> string   val module_name : string   val structural_descr : Structural_descr.t -> Structural_descr.t   type 'a t   val reprs : '-> 'Type.Polymorphic_input.t list end