Module Eval.PtrRelational


module PtrRelational: sig .. end

type state = 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