sig
  type t = Term.t -> Jst.Three.t
  val apply : Jst.Eqtrans.t -> Jst.Rel1.t -> Jst.Rel1.t
  val orelse : Jst.Rel1.t -> Jst.Rel1.t -> Jst.Rel1.t
  val yes_or_no : Jst.Pred.t -> Jst.Pred.t -> Jst.Rel1.t
  val trace : Trace.level -> string -> Jst.Rel1.t -> Jst.Rel1.t
end