Searched defs:erc_clear (Results 1 – 3 of 3) sorted by relevance
36 void erc_clear (erc c) /*@ensures isnull c->vals, c->next@*/ in erc_clear() function
37 void erc_clear (erc c) in erc_clear() function
21 void erc_clear (erc c) /*@ensures isnull c->vals, c->elem@*/ in erc_clear() function