diff options
Diffstat (limited to '2025/ocaml/lib/domain/d02p02.mli')
| -rw-r--r-- | 2025/ocaml/lib/domain/d02p02.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/2025/ocaml/lib/domain/d02p02.mli b/2025/ocaml/lib/domain/d02p02.mli index 55665fe..f918ae1 100644 --- a/2025/ocaml/lib/domain/d02p02.mli +++ b/2025/ocaml/lib/domain/d02p02.mli @@ -5,15 +5,9 @@ module ID : sig val create : int -> t (** [create num] is an ID [t] *) - val validate : (t -> bool) list -> t -> bool - (** [validate rules id] is [true] if the [id] passes all rule checks *) - val incr : t -> t (** [incr id] is the next [id] in the sequence *) - val to_int : t -> int - (** [to_int id] is an integer representation of [id] *) - val to_string : t -> string (** [to_string id] is an string representation of [id] *) |