From 2f18b8a33cabd0ea666781ba048d0174b4dc5031 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Sun, 1 Jun 2025 17:12:06 +0200
Subject: Initial commit

---
 lib/path/path.mli | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 lib/path/path.mli

(limited to 'lib/path/path.mli')

diff --git a/lib/path/path.mli b/lib/path/path.mli
new file mode 100644
index 0000000..e5b5029
--- /dev/null
+++ b/lib/path/path.mli
@@ -0,0 +1,18 @@
+(** Describe the components in the path *)
+type _ typ =
+  | Int : int64 typ
+  | String : string typ
+  | Fixed : V_string.t -> unit typ
+
+type _ t =
+  | [] : unit t
+  | ( :: ) : 'x t * 'y t -> ('x * 'y) t
+  | T1 : 'a typ -> 'a t
+  | T2 : 'a typ * 'b typ -> ('a * 'b) t
+  | T3 : 'a typ * 'b typ * 'c typ -> ('a * 'b * 'c) t
+  | T4 : 'a typ * 'b typ * 'c typ * 'd typ -> ('a * 'b * 'c * 'd) t
+
+val unzip : 'a t -> (string -> string) -> 'a
+val repr : 'a t -> V_string.t
+val repr' : 'a t -> string
+val build : 'a -> 'a t -> V_string.t
-- 
cgit v1.2.3