diff options
Diffstat (limited to 'src/Identifiers.ml')
| -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 fd07b7b6..f2b88fd4 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -33,6 +33,8 @@ module type Id = sig val id_of_json : Yojson.Basic.t -> (id, string) result + val compare_id : id -> id -> int + val pp_generator : Format.formatter -> generator -> unit val show_generator : generator -> string @@ -109,6 +111,8 @@ module IdGen () : Id = struct | `Int i -> Ok i | _ -> Error ("id_of_json: failed on " ^ Yojson.Basic.show js) + let compare_id = compare + let nth v id = List.nth v id let nth_opt v id = List.nth_opt v id |