diff options
| author | Son Ho | 2021-12-08 15:53:42 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-08 15:53:42 +0100 |
| commit | 4b2018c4dfb1335b9267eaf21fcb93ed5acbd00e (patch) | |
| tree | b77038f893f381bff0beeafddf13afdf85e97449 /src/Print.ml | |
| parent | 0f504d23898edea2158a08d1f367f5a120131ca0 (diff) | |
Rename env_value to env_elem
Diffstat (limited to 'src/Print.ml')
| -rw-r--r-- | src/Print.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Print.ml b/src/Print.ml index 77bdcb5b..e8471704 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -424,8 +424,7 @@ module Contexts = struct | None -> PV.var_id_to_string bv.index | Some name -> name - let env_value_to_string (fmt : PV.value_formatter) (ev : C.env_value) : string - = + let env_elem_to_string (fmt : PV.value_formatter) (ev : C.env_elem) : string = match ev with | Var (var, tv) -> binder_to_string var ^ " -> " ^ PV.typed_value_to_string fmt tv ^ " ;" @@ -435,7 +434,7 @@ module Contexts = struct let env_to_string (fmt : PV.value_formatter) (env : C.env) : string = "{\n" ^ String.concat "\n" - (List.map (fun ev -> " " ^ env_value_to_string fmt ev) env) + (List.map (fun ev -> " " ^ env_elem_to_string fmt ev) env) ^ "\n}" type ctx_formatter = PV.value_formatter |