Module `Flambda2_reaper.Datalog_helpers`

module Syntax : sig ... end

module Cols : sig ... end

val nrel : 
  string ->
  ('a, 'b, unit) Syntax.Column.hlist ->
  ('a, 'b) Flambda2_datalog.Datalog.relation

val rel1 : 
  string ->
  ('a, 'b -> Syntax.nil, unit) Syntax.Column.hlist ->
  'b Syntax.Term.t ->
  [> `Atom of Syntax.atom ]

val rel2 : 
  string ->
  ('a, 'b -> 'c -> Syntax.nil, unit) Syntax.Column.hlist ->
  'b Syntax.Term.t ->
  'c Syntax.Term.t ->
  [> `Atom of Syntax.atom ]

val rel3 : 
  string ->
  ('a, 'b -> 'c -> 'd -> Syntax.nil, unit) Syntax.Column.hlist ->
  'b Syntax.Term.t ->
  'c Syntax.Term.t ->
  'd Syntax.Term.t ->
  [> `Atom of Syntax.atom ]

module Fixit : sig ... end

module One : sig ... end

Module Flambda2_reaper.Datalog_helpers

Module `Flambda2_reaper.Datalog_helpers`