lean2/tests/lua/n1.lua
Leonardo de Moura 7b77863507 refactor(lua/name): improve name bindings for Lua
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-11-04 18:44:20 -08:00

8 lines
176 B
Lua

n = name("foo", 1, 2)
print(n)
print(name(n, "bla"))
print(n == name("foo", 1))
print(n == name("foo", 2))
print(n < name("foo", 2))
print(n < name("foo", 0))
print(name(nil))