Module `Datalog_helpers.One`

type t

val print : Format.formatter -> t -> unit

module Set : Flambda2_algorithms.Container_types.Set with type elt = t

module Map : 
  Flambda2_algorithms.Container_types.Map_plus_iterator with type key = t

val datalog_column_id : ('a Map.t, t, 'a) Syntax.Column.id

val top : t

val flag : 
  (unit Map.t, t -> Syntax.nil, unit) Syntax.table ->
  [> `Atom of Syntax.atom ]

val to_bool : unit Map.t -> bool

val of_bool : bool -> unit Map.t

val cols : (unit Map.t, t -> Syntax.nil, unit) Syntax.Column.hlist

Module Datalog_helpers.One