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