Module Base.Map_intf.Check_accessors3_with_comparator