Ctypes.Pred
Predicate on a structure field or array element, which is supposed to be true at all times.
val pp : Stdlib.Format.formatter -> t -> unit
val eval : symbols:Z.t Datatype_sig.StringMap.t -> self:Z.t -> t -> bool
Evaluate a predicate. May throw Undefined_symbol
.