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