val class_single :
loc:loc ->
name:string ->
?virt:bool ->
?wrap:(Cl.t -> Cl.t) ->
params:type_arg list ->
Cf.t list ->
t
val tdecl : loc:loc -> name:string -> params:string list -> Typ.t -> t
val tdecl_abstr : loc:loc -> string -> string option list -> t
val tdecl_record :
loc:loc ->
name:string ->
params:string list ->
lab_decl list ->
t
val simple_gadt :
loc:loc ->
name:string ->
params_count:int ->
(string * Typ.t) list ->
t
val module_ : loc:loc -> string -> Me.t -> t