Lines Matching refs:tab
33 fun find(tab,n) = Binarymap.find(!tab,n)35 fun peek(tab,n) = Binarymap.peek(!tab,n)37 val (tab', (id,v)) = Binarymap.remove(!r,n)39 r := tab';70 fun listThy tab thy = let75 foldl foldthis [] tab78 fun listName tab nm = let83 foldl foldthis [] tab