{ Order = ./Order
, Type = ./Type
, defaultCompare = ./defaultCompare
, defaultLE = ./defaultLE
, extractPartiallyOrderedGroup = ./extractPartiallyOrderedGroup
}