diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml new file mode 100644 index 00000000..8f474f26 --- /dev/null +++ b/src/initial_check.ml @@ -0,0 +1,7 @@ +open Type_internal +open Ast + +type 'a envs = 'a * Nameset.t * kind Kindmap.t * t Typmap.t + +let rec to_ast (bound_names : Nameset.t) (kind_env : kind Kindmap.t) (typ_env : t Typmap.t) partial_defs defs = + (Defs []) |