diff options
Diffstat (limited to 'lib/kernel/SubstantialRelation.mli')
| -rw-r--r-- | lib/kernel/SubstantialRelation.mli | 5 |
1 files changed, 5 insertions, 0 deletions
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 -> |