From 7bd6a69cea4e57bf79cdf7fcd22619506d3c12c1 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 30 Jul 2026 17:08:17 -0300 Subject: Serialize runtime objects: Multigroup, Branch & Relation --- lib/concepts/Relation.mli | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 lib/concepts/Relation.mli (limited to 'lib/concepts/Relation.mli') diff --git a/lib/concepts/Relation.mli b/lib/concepts/Relation.mli new file mode 100644 index 0000000..5319a3d --- /dev/null +++ b/lib/concepts/Relation.mli @@ -0,0 +1,15 @@ +type t +type address = Hash.hash +type schema + +include Object.S with type t := t + +val make : name:string -> tuples:address -> schema:schema -> t + +val name : t -> string +val tuples : t -> address +val schema : t -> schema + +val schema_empty : schema +val schema_of_list : (string * string) list -> schema +val schema_to_list : schema -> (string * string) list -- cgit v1.2.3