diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-30 17:08:17 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-07-30 17:08:17 -0300 |
| commit | 7bd6a69cea4e57bf79cdf7fcd22619506d3c12c1 (patch) | |
| tree | 3d13e17e4b329079db18109c07e499d5a8a9d489 /lib/concepts/Relation.mli | |
| parent | 2a3ffd895f5c2061d7941134bb15df6047141916 (diff) | |
| download | RNT-7bd6a69cea4e57bf79cdf7fcd22619506d3c12c1.tar.gz RNT-7bd6a69cea4e57bf79cdf7fcd22619506d3c12c1.zip | |
Serialize runtime objects: Multigroup, Branch & Relation
Diffstat (limited to 'lib/concepts/Relation.mli')
| -rw-r--r-- | lib/concepts/Relation.mli | 15 |
1 files changed, 15 insertions, 0 deletions
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 |