Parameter `Cons.S`

type keys

type value

type t

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

val default_value : S.value

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

val empty : S.t

val is_empty : S.t -> bool

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

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

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

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

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

Parameter Cons.S