Make.Program
A Datalog program is a set of clauses (Clause.t).
Clause.t
type t
The type of a Datalog program.
val empty : t
Constructors
val add : Clause.t -> t -> t
val add_seq : Clause.t Stdlib.Seq.t -> t -> t
val parser : t Angstrom.t
val pp : t Fmt.t