sig
  val mk_true : unit -> Term.t
  val mk_false : unit -> Term.t
  val is_true : Term.t -> bool
  val is_false : Term.t -> bool
end