diff options
Diffstat (limited to 'src/initial_check.mli')
| -rw-r--r-- | src/initial_check.mli | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/src/initial_check.mli b/src/initial_check.mli index 5e4b7e77..063a0131 100644 --- a/src/initial_check.mli +++ b/src/initial_check.mli @@ -41,13 +41,8 @@ (**************************************************************************) open Ast -open Type_internal -type kind = Type_internal.kind -type typ = Type_internal.t -(*Envs is a tuple of used names (currently unused), map from id to kind, default order for vector types and literal vectors *) -type envs = Nameset.t * kind Envmap.t * Ast.order -type 'a envs_out = 'a * envs +val process_ast : Parse_ast.defs -> unit defs -val to_ast : Nameset.t -> kind Envmap.t -> Ast.order -> Parse_ast.defs -> tannot defs * kind Envmap.t * Ast.order -val to_ast_exp : kind Envmap.t -> Ast.order -> Parse_ast.exp -> Type_internal.tannot Ast.exp + + |