(bind-func xtm_notequal (lambda (a:Rational b:i8) (xtm_notequal:[i1,Rational,Rational]* a (Rat (i8toi64 b) 1))))