Module type EvalPred.Sig

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