From 483089803a411920fea7696ea6b40c664cf3003a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 7 Oct 2026 23:26:50 -0300 Subject: ephemeral literal, relation heading, subs rel stored & lmdb 1GB map --- lib/protocols/Relation.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/protocols/Relation.mli') diff --git a/lib/protocols/Relation.mli b/lib/protocols/Relation.mli index 87e6ab2..47d1d3e 100644 --- a/lib/protocols/Relation.mli +++ b/lib/protocols/Relation.mli @@ -9,6 +9,9 @@ val from : Handle.t -> t Handle.interface option val require : Handle.t -> (t Handle.interface, Concepts.Condition.condition) result val contains : t Handle.interface -> Concepts.Tuple.t -> (bool, Concepts.Condition.condition) result +(** the heading a relation describes itself with. *) +val heading : Handle.t -> (Schematics.relation_description, Concepts.Condition.condition) result + (** the heading and tuples of a relation, read whole. *) val read : Handle.t -> -- cgit v1.2.3