Gospel.Tast_helperSourceval type_spec :
bool ->
(Tterm.lsymbol * bool) list ->
Tterm.term list ->
string ->
Ppxlib.Location.t ->
Tast.type_specval label_declaration :
'a ->
Tast.mutable_flag ->
Ppxlib.Location.t ->
Ppxlib.attributes ->
'a Tast.label_declarationval mk_val_spec :
Tast.lb_arg list ->
Tast.lb_arg list ->
Tterm.term list ->
Tterm.term list ->
Tterm.term list ->
(Ttypes.xsymbol * (Tterm.pattern * Tterm.term) list) list ->
Tterm.term list ->
Tterm.term list ->
bool ->
bool ->
string list ->
string ->
Ppxlib.Location.t ->
Tast.val_specval mk_fun_spec :
Tterm.term list ->
Tterm.term list ->
Tterm.term list ->
bool ->
string ->
Ppxlib.Location.t ->
Tast.fun_specval mk_function :
?result:Tterm.vsymbol ->
Tterm.lsymbol ->
bool ->
Tterm.vsymbol list ->
Tterm.term option ->
Tast.fun_spec option ->
Ppxlib.Location.t ->
string ->
Tast.function_val mk_axiom :
Gospel.Ttypes.Ident.t ->
Tterm.term ->
Ppxlib.Location.t ->
string ->
Tast.axiomval mk_val_description :
Gospel.Ttypes.Ident.t ->
Ppxlib.core_type ->
string list ->
Ppxlib.attributes ->
Tast.lb_arg list ->
Tast.lb_arg list ->
Tast.val_spec option ->
Ppxlib.Location.t ->
Tast.val_descriptionval type_declaration :
Ttypes.tysymbol ->
(Ttypes.tvsymbol * (Ppxlib.Asttypes.variance * Ppxlib.Asttypes.injectivity))
list ->
(Ttypes.ty * Ttypes.ty * Ppxlib.Location.t) list ->
Tast.type_kind ->
Tast.private_flag ->
Ttypes.ty option ->
Ppxlib.attributes ->
Tast.type_spec option ->
Ppxlib.Location.t ->
Tast.type_declarationval extension_constructor :
Gospel.Ttypes.Ident.t ->
Ttypes.xsymbol ->
Ppxlib.extension_constructor_kind ->
Ppxlib.Location.t ->
Ppxlib.attributes ->
Tast.extension_constructorval constructor_decl :
Tterm.lsymbol ->
(Gospel.Ttypes.Ident.t * Ttypes.ty) Tast.label_declaration list ->
Ppxlib.Location.t ->
Ppxlib.attributes ->
Tast.constructor_declval type_exception :
Tast.extension_constructor ->
Ppxlib.Location.t ->
Ppxlib.attributes ->
Tast.type_exception