Module `Set_intf.Check_creators2_with_comparator`

Parameters

module M : Creators2_with_comparator