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