template<class DomainT , class CodomainT , class Traits , ITL_COMPARE Compare, 
         ITL_COMBINE Combine, ITL_SECTION Section, ITL_ALLOC Alloc> 
  bool is_protonic_equal(const itl::map< DomainT, CodomainT, Traits, Compare, Combine, Section, Alloc > & lhs, 
                         const itl::map< DomainT, CodomainT, Traits, Compare, Combine, Section, Alloc > & rhs);