Datalogl.CONSTANT
Input signature of the functor Make.
Make
type t
The type of constants.
val compare : t -> t -> int
A total ordering function over the keys. See also Stdlib.compare.
Stdlib
val parser : t Angstrom.t
parser is a parser that reads a single constant. This is used for parsing complex Datalog expressions.
parser
val pp : t Fmt.t