module Pred: sig end
sig end
type t = Term.t -> Jst.jst option
Term.t -> Jst.jst option
val disj : t -> t -> t
t -> t -> t
t
'a
val apply : Jst.Eqtrans.t -> t -> t
Jst.Eqtrans.t -> t -> t
p
f(a)
Jst.Eqtrans.t
val trace : Trace.level -> string -> t -> t
Trace.level -> string -> t -> t
Trace.level
string