michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/name): expose is_list_name function

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-14 09:44:58 -07:00
parent 01eda46b69
commit a8124b41d0
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/name.h
View file

@ -147,6 +147,7 @@ inline deserializer & operator>>(deserializer & d, name & n) { n = read_name(d);
UDATA_DEFS(name)
name to_name_ext(lua_State * L, int idx);
bool is_list_name(lua_State * L, int idx);
list<name> & to_list_name(lua_State * L, int idx);
list<name> to_list_name_ext(lua_State * L, int idx);
int push_list_name(lua_State * L, list<name> const & l);