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