Module `AppCond.Make`

Functor building an implementation of the application conditions given a module exposing the occurrence check (the only part of the solver interface used).

Parameters

module _ : sig ... end

Signature

val check_cond : t -> ctx:Big.t -> param:Big.t -> bool

Check an application condition given a matching context ctx and parameter param.