Module `Schema.Relation3`

Parameters

module C1 : Column.S

module C2 : Column.S

module C3 : Column.S

type keys = C1.t -> Relation2(C2)(C3).keys

type value = unit

type t = Relation2(C2)(C3).t C1.Map.t

val columns : (t, keys, value) Column.hlist

val default_value : value

val create : name:string -> (t, keys, value) table

val empty : t

val is_empty : t -> bool

val singleton : keys Constant.hlist -> value -> t

val add_or_replace : keys Constant.hlist -> value -> t -> t

val remove : keys Constant.hlist -> t -> t

val union : (value -> value -> value option) -> t -> t -> t

val find_opt : keys Constant.hlist -> t -> value option