sig
  type t = [ `Int of int ]
  val equal : FO.Builtin.t -> FO.Builtin.t -> bool
  val compare : FO.Builtin.t -> FO.Builtin.t -> int
  val print : FO.Builtin.t FO.printer
end