module Pred2: sig endtype t = Term.t -> Term.t -> Jst.jst option
val apply : Jst.Eqtrans.t -> t -> tp on f(a).| Parameters: |
|
val orelse : t -> t -> t
val inj : (Term.t -> Term.t -> bool) -> t
val trace : Trace.level -> string -> t -> t| Parameters: |
|