Datalog_helpers (p.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.optcomp.Flambda2_reaper.Datalog

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