Make.Variable
A Datalog variable is a placeholder for arbirtary constants.
type t
val make : string -> t
val make_fresh : unit -> t
val compare : t -> t -> int
val parser : t Angstrom.t
parser reads a single variable.
parser
val pp : t Fmt.t
module Set : sig ... end