Module `Map_intf.Check_creators3_with_comparator`

Parameters

module M : Creators3_with_comparator