diff options
| author | Son HO | 2022-09-22 18:52:15 +0200 |
|---|---|---|
| committer | GitHub | 2022-09-22 18:52:15 +0200 |
| commit | dd75894c85bbaa5dc6aa54d39980e160e5b7777f (patch) | |
| tree | ece56b01bcadea24a3c373236f0254f47e32a98f /src/Names.ml | |
| parent | d8f92140abd7e65b6f1c5dd7e511c0c0aa69e73f (diff) | |
| parent | 0d5fb87166cc4eb4ddc783d871ad459479fc9fdc (diff) | |
Merge pull request #1 from AeneasVerif/constants-v2
Implement support for globals
Diffstat (limited to 'src/Names.ml')
| -rw-r--r-- | src/Names.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/Names.ml b/src/Names.ml index 1308eccc..209f8547 100644 --- a/src/Names.ml +++ b/src/Names.ml @@ -1,5 +1,4 @@ open Identifiers - module Disambiguator = IdGen () (** See the comments for [Name] *) @@ -49,10 +48,9 @@ type name = path_elem list [@@deriving show, ord] let to_name (ls : string list) : name = List.map (fun s -> Ident s) ls type module_name = name [@@deriving show, ord] - type type_name = name [@@deriving show, ord] - type fun_name = name [@@deriving show, ord] +type global_name = name [@@deriving show, ord] (** Filter the disambiguators equal to 0 in a name *) let filter_disambiguators_zero (n : name) : name = |