diff options
Diffstat (limited to 'typing/untypeast.mli')
| -rw-r--r-- | typing/untypeast.mli | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/typing/untypeast.mli b/typing/untypeast.mli new file mode 100644 index 0000000000..efd0a031d5 --- /dev/null +++ b/typing/untypeast.mli @@ -0,0 +1,20 @@ +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Thomas Gazagnaire (OCamlPro), Fabrice Le Fessant (INRIA Saclay) *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(**************************************************************************) + +val untype_structure : Typedtree.structure -> Parsetree.structure +val untype_signature : Typedtree.signature -> Parsetree.signature +val untype_expression : Typedtree.expression -> Parsetree.expression +val untype_type_declaration : + Typedtree.type_declaration -> Parsetree.type_declaration +val untype_module_type : Typedtree.module_type -> Parsetree.module_type + +val lident_of_path : Path.t -> Longident.t |