predicate arg_sort_int(
	array[$$E] of var int: x,
	array[int] of var $$E: p,
) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");

predicate arg_sort_int(
	array[$$E] of var int: x,
	array[int] of var $$E: p,
	var bool:b
) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
