diff options
| author | Son Ho | 2022-01-26 22:59:51 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-26 22:59:51 +0100 |
| commit | 3e36b8c3b81a64d5f85dbff0f171741bb4c03423 (patch) | |
| tree | 506b5340658adc02bcec96485ac8495c032d5a97 /src/Identifiers.ml | |
| parent | 7729f9c571981e3ace548cbb780cb35662fba807 (diff) | |
Start actually generating symbolic ASTs for the backward functions
Diffstat (limited to '')
| -rw-r--r-- | src/Identifiers.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 0a3e1c9d..3a900643 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -61,6 +61,8 @@ module type Id = sig TODO: generalize to `map_from_i` *) + val iteri : (id -> 'a -> unit) -> 'a list -> unit + module Ord : C.OrderedType with type t = id module Set : C.Set with type elt = id @@ -131,6 +133,8 @@ module IdGen () : Id = struct in aux 1 ls + let iteri = List.iteri + module Ord = struct type t = id |