diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type_check.mli b/src/type_check.mli index 7db4adc4..02fd2a80 100644 --- a/src/type_check.mli +++ b/src/type_check.mli @@ -9,3 +9,4 @@ type 'a envs_out = 'a * envs val check : envs -> tannot defs -> tannot defs * envs +val typ_to_t : envs -> bool -> bool -> Ast.typ -> t |