Ocaml_typing.Untypeast
Sourcetype mapper = {
attribute : mapper -> Typedtree.attribute -> Ocaml_parsing.Parsetree.attribute;
attributes : mapper ->
Typedtree.attribute list ->
Ocaml_parsing.Parsetree.attribute list;
binding_op : mapper ->
Typedtree.binding_op ->
Typedtree.pattern ->
Ocaml_parsing.Parsetree.binding_op;
case : 'k. mapper -> 'k Typedtree.case -> Ocaml_parsing.Parsetree.case;
class_declaration : mapper ->
Typedtree.class_declaration ->
Ocaml_parsing.Parsetree.class_declaration;
class_description : mapper ->
Typedtree.class_description ->
Ocaml_parsing.Parsetree.class_description;
class_expr : mapper ->
Typedtree.class_expr ->
Ocaml_parsing.Parsetree.class_expr;
class_field : mapper ->
Typedtree.class_field ->
Ocaml_parsing.Parsetree.class_field;
class_signature : mapper ->
Typedtree.class_signature ->
Ocaml_parsing.Parsetree.class_signature;
class_structure : mapper ->
Typedtree.class_structure ->
Ocaml_parsing.Parsetree.class_structure;
class_type : mapper ->
Typedtree.class_type ->
Ocaml_parsing.Parsetree.class_type;
class_type_declaration : mapper ->
Typedtree.class_type_declaration ->
Ocaml_parsing.Parsetree.class_type_declaration;
class_type_field : mapper ->
Typedtree.class_type_field ->
Ocaml_parsing.Parsetree.class_type_field;
constructor_declaration : mapper ->
Typedtree.constructor_declaration ->
Ocaml_parsing.Parsetree.constructor_declaration;
expr : mapper -> Typedtree.expression -> Ocaml_parsing.Parsetree.expression;
extension_constructor : mapper ->
Typedtree.extension_constructor ->
Ocaml_parsing.Parsetree.extension_constructor;
include_declaration : mapper ->
Typedtree.include_declaration ->
Ocaml_parsing.Parsetree.include_declaration;
include_description : mapper ->
Typedtree.include_description ->
Ocaml_parsing.Parsetree.include_description;
label_declaration : mapper ->
Typedtree.label_declaration ->
Ocaml_parsing.Parsetree.label_declaration;
location : mapper -> Ocaml_parsing.Location.t -> Ocaml_parsing.Location.t;
module_binding : mapper ->
Typedtree.module_binding ->
Ocaml_parsing.Parsetree.module_binding;
module_declaration : mapper ->
Typedtree.module_declaration ->
Ocaml_parsing.Parsetree.module_declaration;
module_substitution : mapper ->
Typedtree.module_substitution ->
Ocaml_parsing.Parsetree.module_substitution;
module_expr : mapper ->
Typedtree.module_expr ->
Ocaml_parsing.Parsetree.module_expr;
module_type : mapper ->
Typedtree.module_type ->
Ocaml_parsing.Parsetree.module_type;
module_type_declaration : mapper ->
Typedtree.module_type_declaration ->
Ocaml_parsing.Parsetree.module_type_declaration;
package_type : mapper ->
Typedtree.package_type ->
Ocaml_parsing.Parsetree.package_type;
open_declaration : mapper ->
Typedtree.open_declaration ->
Ocaml_parsing.Parsetree.open_declaration;
open_description : mapper ->
Typedtree.open_description ->
Ocaml_parsing.Parsetree.open_description;
pat : 'k. mapper ->
'k Typedtree.general_pattern ->
Ocaml_parsing.Parsetree.pattern;
row_field : mapper -> Typedtree.row_field -> Ocaml_parsing.Parsetree.row_field;
object_field : mapper ->
Typedtree.object_field ->
Ocaml_parsing.Parsetree.object_field;
signature : mapper -> Typedtree.signature -> Ocaml_parsing.Parsetree.signature;
signature_item : mapper ->
Typedtree.signature_item ->
Ocaml_parsing.Parsetree.signature_item;
structure : mapper -> Typedtree.structure -> Ocaml_parsing.Parsetree.structure;
structure_item : mapper ->
Typedtree.structure_item ->
Ocaml_parsing.Parsetree.structure_item;
typ : mapper -> Typedtree.core_type -> Ocaml_parsing.Parsetree.core_type;
type_declaration : mapper ->
Typedtree.type_declaration ->
Ocaml_parsing.Parsetree.type_declaration;
type_extension : mapper ->
Typedtree.type_extension ->
Ocaml_parsing.Parsetree.type_extension;
type_exception : mapper ->
Typedtree.type_exception ->
Ocaml_parsing.Parsetree.type_exception;
type_kind : mapper -> Typedtree.type_kind -> Ocaml_parsing.Parsetree.type_kind;
value_binding : mapper ->
Typedtree.value_binding ->
Ocaml_parsing.Parsetree.value_binding;
value_description : mapper ->
Typedtree.value_description ->
Ocaml_parsing.Parsetree.value_description;
with_constraint : mapper ->
(Path.t
* Ocaml_parsing.Longident.t Ocaml_parsing.Location.loc
* Typedtree.with_constraint) ->
Ocaml_parsing.Parsetree.with_constraint;
}
val untype_structure :
?mapper:mapper ->
Typedtree.structure ->
Ocaml_parsing.Parsetree.structure
val untype_signature :
?mapper:mapper ->
Typedtree.signature ->
Ocaml_parsing.Parsetree.signature