diff options
| author | Kathy Gray | 2016-10-18 16:27:04 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-10-18 16:27:04 +0100 |
| commit | a02cb1e0a25032005deb5545183598bb5feb07d0 (patch) | |
| tree | bc6c99da970ce638c53ab217f8affab156e1641a /src | |
| parent | 9dc612db5dcf3de461577dc09475ae3f9a47ef94 (diff) | |
put typ_to_t in type_check's visible interface
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 |