Parameter `Make.2-AC`

val check_cond : AppCond.t -> ctx:Big.t -> param:Big.t -> bool: Check an application condition given a matching context ctx and parameter param.

val check_cond_memo : AppCond.t -> ctx:Big.t -> ctx_trans:Sparse.t -> param:Big.t -> param_trans:Sparse.t -> bool: Memoised check