Module Cvalue_type.Partial_lmap


module Partial_lmap: Lmap.Make_LOffset(V_Or_Uninitialized)(V_Offsetmap_ext)

type y 
type of the values associated to the locations
type loffset 
type widen_hint_offsetmap 
module Make: 
functor (Default_offsetmap : sig
val default_offsetmap : Base.t -> Lmap.Location_map.loffset
end) -> sig .. end