Agda-2.3.2.2: doc/pfe/fake/Data/Map.hs

module Data.Map where
dummy_declaration_in_Data_Map = True