From b79224410f469a1cd4ff3be4f8e62d71398109fc Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Fri, 11 Sep 2026 04:06:52 +0000 Subject: Multigroup objects --- lib/kernel/SubstantialRelation.mli | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib/kernel/SubstantialRelation.mli') diff --git a/lib/kernel/SubstantialRelation.mli b/lib/kernel/SubstantialRelation.mli index db86fe2..9e61411 100644 --- a/lib/kernel/SubstantialRelation.mli +++ b/lib/kernel/SubstantialRelation.mli @@ -1,6 +1,9 @@ module Make (S : Abstract.Storage.STORAGE) : sig type t + val encode : t -> Concepts.Blob.t + val decode : Concepts.Blob.t -> (t, Concepts.Condition.condition) result + val empty : S.transaction -> heading:Concepts.Hash.hash -> @@ -23,6 +26,8 @@ module Make (S : Abstract.Storage.STORAGE) : sig val load_value : S.transaction -> Concepts.Hash.hash -> (t, Concepts.Condition.condition) result + val wrap : S.connection -> t -> (Protocols.Handle.t, Concepts.Condition.condition) result + val load : S.transaction -> S.connection -> -- cgit v1.2.3