sig
  type t = Term.t -> Term.t -> Jst.Three.t
  val apply : Jst.Eqtrans.t -> Jst.Rel2.t -> Jst.Rel2.t
  val orelse : Jst.Rel2.t -> Jst.Rel2.t -> Jst.Rel2.t
  val yes : Jst.Pred2.t -> Jst.Rel2.t
  val no : Jst.Pred2.t -> Jst.Rel2.t
  val yes_or_no : Jst.Pred2.t -> Jst.Pred2.t -> Jst.Rel2.t
  val trace : Trace.level -> string -> Jst.Rel2.t -> Jst.Rel2.t
end