diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 03:19:46 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-13 03:19:46 -0300 |
| commit | 9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa (patch) | |
| tree | eb5bef6ac815aa4fdc95c52838626ab1826c4fb0 /lib/kernel/EphemeralRelation.mli | |
| parent | 327d0d2a47591e02299d4e7360d5b7e03b4962d2 (diff) | |
| download | RNT-9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa.tar.gz RNT-9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa.zip | |
appropriate enumeration for tuple split on object and resident
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/EphemeralRelation.mli | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lib/kernel/EphemeralRelation.mli b/lib/kernel/EphemeralRelation.mli deleted file mode 100644 index e579abd..0000000 --- a/lib/kernel/EphemeralRelation.mli +++ /dev/null @@ -1,26 +0,0 @@ -module Make (S : Abstract.Storage.STORAGE) : sig - type t - - val make : - heading:Concepts.Hash.hash -> - evaluator:string -> - source:string -> - entry:string -> - bindings:Concepts.Hash.hash -> - inputs:string BatFingerTree.t -> - unit -> - (t, Concepts.Condition.condition) result - - val store : S.transaction -> t -> (Concepts.Hash.hash, Concepts.Condition.condition) result - val load : S.transaction -> S.connection -> Concepts.Hash.hash -> (Protocols.Handle.t, Concepts.Condition.condition) result - val heading : t -> Concepts.Hash.hash - val evaluator : t -> string - val inputs : t -> string BatFingerTree.t - - module Error : sig - val malformed : unit -> Concepts.Condition.condition - val replay_not_implemented : unit -> Concepts.Condition.condition - end - - module Representation : Concepts.Encoding.Record.S with type t = t -end |