summaryrefslogtreecommitdiff
path: root/2025/ocaml/lib/domain/d02p02.ml
diff options
context:
space:
mode:
Diffstat (limited to '2025/ocaml/lib/domain/d02p02.ml')
-rw-r--r--2025/ocaml/lib/domain/d02p02.ml4
1 files changed, 0 insertions, 4 deletions
diff --git a/2025/ocaml/lib/domain/d02p02.ml b/2025/ocaml/lib/domain/d02p02.ml
index d1624b6..b2b55f1 100644
--- a/2025/ocaml/lib/domain/d02p02.ml
+++ b/2025/ocaml/lib/domain/d02p02.ml
@@ -4,12 +4,8 @@ module ID = struct
let create num = num
- let validate rules id = List.fold_left (fun acc r -> acc || r id) false rules
-
let incr = ( + ) 1
- let to_int id = id
-
let to_string = string_of_int
let pp id = "ID=" ^ string_of_int id