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