Module Jst.Rel1

module Rel1: sig  end

Justifying ternary relations over terms.

type t = Term.t -> Jst.Three.t

val apply : Jst.Eqtrans.t -> t -> t

Test binary term relation r on f a and f b.

Parameters:

val orelse : t -> t -> t

Parameters:

val yes_or_no : Jst.Pred.t -> Jst.Pred.t -> t

Parameters:

val trace : Trace.level -> string -> t -> t

Parameters: