Module Node_range

module Node_range: sig .. end

type t = Dive_types.node_range 
val evaluate : Cvalue.V.t -> Cil_types.typ -> t
val upper_bound : t -> t -> t