module PtrRelational: sig .. end
sig
end
type state = Relations_type.Model.t
Relations_type.Model.t
val eval_expr : with_alarms:CilE.warn_mode -> Db.Value.state -> Cil_types.exp -> Db.Value.state * Cvalue_type.V.t
with_alarms:CilE.warn_mode -> Db.Value.state -> Cil_types.exp -> Db.Value.state * Cvalue_type.V.t