Module `Set_intf.Check_accessors2_with_comparator`

Parameters

module M : Accessors2_with_comparator