AppCond.C
Output signature of the functor AppCond.Make.
AppCond.Make
val check_cond : t -> ctx:Big.t -> param:Big.t -> bool
Check an application condition given a matching context ctx and parameter param.
ctx
param