diff options
| author | Alastair Reid | 2017-08-08 11:14:22 +0100 |
|---|---|---|
| committer | Alastair Reid | 2017-08-08 11:14:22 +0100 |
| commit | 6d6691eefdb2444521b786a236c556f3cef992eb (patch) | |
| tree | d0759da403c34c0337d9efaf2e873619827afc85 /src | |
| parent | dc0cf7ad73b21b3f787eb2de3b370b64ca264429 (diff) | |
Add add_typ_var to mli file
This function is used by asl_to_sail2.ml
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_check.mli b/src/type_check.mli index a2b8a10c..88d4ecae 100644 --- a/src/type_check.mli +++ b/src/type_check.mli @@ -85,6 +85,8 @@ module Env : sig val get_typ_vars : t -> base_kind_aux KBindings.t + val add_typ_var : kid -> base_kind_aux -> t -> t + val is_record : id -> t -> bool val get_accessor : id -> id -> t -> typquant * typ |