val value : loc:loc -> name:string -> Typ.t -> tval functor1 : loc:loc -> string -> param:string -> t list -> t list -> tval simple_gadt :
loc:loc ->
name:string ->
params_count:int ->
(string * Typ.t) list ->
tval tdecl_abstr : loc:loc -> string -> string option list -> t