jon.recoil.org

Module Datalog_helpers.Fixit

type (_, _, _) stmt
val (let+) : ('a, 'b, 'c) stmt -> ('a -> 'd) -> ('d, 'b, 'c) stmt
val (and+) : ('a, 'b, 'b) stmt -> ('c, 'b, 'b) stmt -> ('a * 'c, 'b, 'b) stmt
val run : ('a, 'a, 'b) stmt -> Syntax.database -> 'b
val empty : ('t, 'k, unit) Syntax.Column.hlist -> ('t, 'k, unit) Syntax.table
val param : string -> ('a, 'b, unit) Syntax.Column.hlist -> (('a, 'b, unit) Syntax.table -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'a -> 'd) stmt
val paramc : string -> ('a, 'b, unit) Syntax.Column.hlist -> ('e -> 'a) -> (('a, 'b, unit) Syntax.table -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'e -> 'd) stmt
val param1s : string -> ('a, 'b, unit) Syntax.Column.id -> (('a, 'b -> Syntax.nil, unit) Syntax.table -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'b -> 'd) stmt
val param0 : ('a -> 'b) -> (('b, 'c, 'c) stmt -> ('d, 'e, 'f) stmt) -> ('d, 'e, 'a -> 'f) stmt
val local0 : ('a, 'b, unit) Syntax.Column.hlist -> ('a, 'c, 'c) stmt -> (('a, 'b, unit) Syntax.table -> ('d, 'c, 'c) stmt) -> ('d, 'c, 'c) stmt
module Table : sig ... end
val return : ('a, 'b, unit) Syntax.table -> ('a, 'c, 'c) stmt
val fix : ('a, 'b) Table.hlist -> (('a, 'b) Table.hlist -> Syntax.rule list) -> (('a, 'b) Table.hlist -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'd) stmt
val seq : ('a, 'b) Table.hlist -> (('a, 'b) Table.hlist -> Syntax.rule list) -> (('a, 'b) Table.hlist -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'd) stmt
val fix1 : ('t, 'k, unit) Syntax.table -> (('t, 'k, unit) Syntax.table -> Syntax.rule list) -> (('t, 'k, unit) Syntax.table -> ('x, 'y, 'd) stmt) -> ('x, 'y, 'd) stmt
val fix' : ('a, 'b) Table.hlist -> (('a, 'b) Table.hlist -> Syntax.rule list) -> ('a Syntax.Constant.hlist, 'c, 'c) stmt
val seq' : ('a, 'b) Table.hlist -> (('a, 'b) Table.hlist -> Syntax.rule list) -> ('a Syntax.Constant.hlist, 'c, 'c) stmt
val fix1' : ('t, 'k, unit) Syntax.table -> (('t, 'k, unit) Syntax.table -> Syntax.rule list) -> ('t, 'c, 'c) stmt
val (let@) : ('a -> 'b) -> 'a -> 'b