Module EvalPred.Make

Parameters

module A : Arg

Signature

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