EvalPred.Sig
module Domain : Domain_sig.Base
val check_invariant :
size:int ->
Domain.Context.t ->
Ctypes.Pred.t ->
Domain.binary ->
bool
val use_invariant :
size:int ->
Domain.Context.t ->
Ctypes.Pred.t ->
Domain.binary ->
Domain.Context.t option