class Eq T {
	function compare_equal(a b:T):bool;
}