From 932e657e38665afa1da1aab549977841abbd9dcf Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 7 Oct 2026 18:25:43 -0300 Subject: drop journal in favor of local branch history --- lib/kernel/Journal.mli | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 lib/kernel/Journal.mli (limited to 'lib/kernel/Journal.mli') diff --git a/lib/kernel/Journal.mli b/lib/kernel/Journal.mli deleted file mode 100644 index d354e03..0000000 --- a/lib/kernel/Journal.mli +++ /dev/null @@ -1,22 +0,0 @@ -(** a namespace that keeps its history: each binding it accepts is a - commit of [Protocols.Journal]. It answers [Directory] and [Registry] - as a plain namespace does, so a subsystem that only knows those - commits without knowing it. *) - -(** a journal whose first commit, numbered 0, binds [bindings]. *) -val make : ?bindings:(string * Protocols.Handle.t) list -> unit -> Protocols.Handle.t - -(** a journal whose first commit binds whatever [directory] binds now. *) -val adopt : Protocols.Handle.t -> (Protocols.Handle.t, Concepts.Condition.condition) result - -(** a directory of [bindings] that, asked for a derived relation, hands - it out read against itself. *) -val snapshot : (string * Protocols.Handle.t) list -> Protocols.Handle.t - -(** bind each name to its handle, or unbind it, whatever it was bound to - before: as one commit when [directory] is a journal, and one name at - a time when it is a plain namespace. *) -val rebind : - Protocols.Handle.t -> - (string * Protocols.Handle.t option) list -> - (unit, Concepts.Condition.condition) result -- cgit v1.2.3