Module State.EvalPred

val check_invariant : size:int -> Domain.Context.t -> Types.Ctypes.Pred.t -> Domain.binary -> bool
val use_invariant : size:int -> Domain.Context.t -> Types.Ctypes.Pred.t -> Domain.binary -> Domain.Context.t option