diff options
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 |