(bind-func xtm_equal (lambda (b:i32 a:Rational) (xtm_equal:[i1,Rational,Rational]* (Rat (i32toi64 b) 1) a)))