Module `Schema.Relation1`

Parameters

module C : Flambda2_datalog.Datalog.Column.S

type keys = C.t -> Flambda2_datalog.Datalog.nil

type value = unit

type t = unit C.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