Module State.EvalPred

val check_invariant : size:int -> Domain.Context.t -> Domains.Type_domain.Ctypes.Pred.t -> Domain.binary -> bool