lean2/tests/lua/mpz2.lua
Leonardo de Moura cc17be1ef1 feat(lua): add is_* predicates
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-11-08 12:40:28 -08:00

6 lines
154 B
Lua

assert(is_mpz(mpz(1000)))
assert(not is_mpz(10))
assert(not is_mpz(mpq(10)))
assert(is_mpq(mpq(1000)))
assert(not is_mpq(10))
assert(not is_mpq(mpz(10)))