aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts/Relation.mli
blob: d3705780086d43cf6943bef24548252cee49a19b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
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