diff options
Diffstat (limited to 'lib/kernel/Schema.mli')
| -rw-r--r-- | lib/kernel/Schema.mli | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/kernel/Schema.mli b/lib/kernel/Schema.mli deleted file mode 100644 index 7970ee2..0000000 --- a/lib/kernel/Schema.mli +++ /dev/null @@ -1,23 +0,0 @@ -(** A schema: its relations, \schema\[s]\relation\[r]. For now only a - namespace for them. *) -module Make (S : Abstract.Storage.STORAGE) : sig - include Merkle.VALUE - - val load : - ?bind:EphemeralRelation.binding -> - S.connection -> - t -> - (Protocols.Handle.t, Concepts.Condition.condition) result - - (** a schema handed over with no address, as a directory holding its - relations under \relation, to store once the write has begun. A - relation with no address is stored as a program if it is one, and - as the tuples it holds if not. *) - val admit : - string -> - Protocols.Handle.t -> - (S.transaction Prototype.Associative.admission, Concepts.Condition.condition) result - - (** an empty one, stored. *) - val make : S.connection -> (Protocols.Handle.t, Concepts.Condition.condition) result -end |