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
val check_cond_memo : t -> ctx:Big.t -> ctx_trans:Sparse.t -> param:Big.t -> param_trans:Sparse.t -> bool
Memoised check