summaryrefslogtreecommitdiff
path: root/ocaml/lib/domain/d02p01.mli
diff options
context:
space:
mode:
authorDJ O'Leary <dijitol@proton.me>2026-06-27 00:11:43 +0200
committerDJ O'Leary <dijitol@proton.me>2026-06-27 00:11:43 +0200
commit976048a85403fbb0751c34fa42703a3c47f6e918 (patch)
tree46e321d8120c45e318ead66f60165b0b854c85a1 /ocaml/lib/domain/d02p01.mli
parent6d8fb621d1e93b83786890d6d9cb6f0d8defa8ae (diff)
refactor!: change repo directory structure for ocaml
Diffstat (limited to 'ocaml/lib/domain/d02p01.mli')
-rw-r--r--ocaml/lib/domain/d02p01.mli36
1 files changed, 0 insertions, 36 deletions
diff --git a/ocaml/lib/domain/d02p01.mli b/ocaml/lib/domain/d02p01.mli
deleted file mode 100644
index 55665fe..0000000
--- a/ocaml/lib/domain/d02p01.mli
+++ /dev/null
@@ -1,36 +0,0 @@
-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