From a2e648c2c7dc9bce7cd371b695f174181f9284dc Mon Sep 17 00:00:00 2001
From: DJ O'Leary <dijitol@proton.me>
Date: Wed, 3 Dec 2025 03:31:23 +0100
Subject: feat(2025d2p1): solve day 2 part 1

---
 2025/ocaml/lib/domain/d02p01.mli | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 2025/ocaml/lib/domain/d02p01.mli

(limited to '2025/ocaml/lib/domain/d02p01.mli')

diff --git a/2025/ocaml/lib/domain/d02p01.mli b/2025/ocaml/lib/domain/d02p01.mli
new file mode 100644
index 0000000..55665fe
--- /dev/null
+++ b/2025/ocaml/lib/domain/d02p01.mli
@@ -0,0 +1,36 @@
+module ID : sig
+  (** [t] is a ID within a range *)
+  type t
+
+  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] *)
+
+  val pp : t -> string
+  (** [pp id] is a pretty string representing [id] *)
+end
+
+module Range : sig
+  (** [t] is a range of values *)
+  type t
+
+  val create : int * int -> t
+  (** [create (s, e)] is a range starting at [s] and ending at [e]. *)
+
+  val collect : t -> ID.t list
+  (** [collect r] is a list containing all elements within the range (inclusive). *)
+
+  val pp : t -> string
+  (** [pp r] is a pretty string representing [r] *)
+end
-- 
cgit v1.2.3