Module `Schema.Relation4`

Parameters

module C1 : Flambda2_datalog.Datalog.Column.S

module C2 : Flambda2_datalog.Datalog.Column.S

module C3 : Flambda2_datalog.Datalog.Column.S

module C4 : Flambda2_datalog.Datalog.Column.S

type keys = C1.t -> Flambda2_datalog.Datalog.Schema.Relation3(C2)(C3)(C4).keys

type value = unit

type t = Flambda2_datalog.Datalog.Schema.Relation3(C2)(C3)(C4).t C1.Map.t

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

val default_value : value

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

val empty : t

val is_empty : t -> bool

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

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

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

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

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