--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2014 ---
Dear all, The module Locations.Zone has define a type map_t " type map_t type tt = Top of Base.SetLattice.t * Origin.t | Map of Locations.Zone.map_t " Could anybody help me on how to operate (or iter) the map_t type? I can't find any functions in module Locations.Zone to operate on this type. Thank you very much. -david