Lines Matching defs:tab
85 val Struct { signat = Signatures { tab, typeIdMap, ...}, ...} = tagProject structVar dVal
87 buildTypeCache(tab, strName ^ dName ^ "." (* Add structure names. *),
166 val Signatures { name=sigName, tab, typeIdMap, firstBoundIndex, locations=sigLocs, ...} = signat
171 makeSignature(sigName, tab, firstBoundIndex, sigLocs, composeMaps(typeIdMap, mapTypeId), [])
179 (tab,
246 fun openSignature(Signatures{ tab, typeIdMap, ...}, resEnv, strName) =
247 localCopySig(tab, resEnv, typeIdMap, true (* One level. *), strName, typeIdMap, [])
266 fun replaceMap(Signatures{tab=sourceTab, name = sourceName, locations, ...},
270 val tab = makeSignatureTable ();
274 enterType = fn (s,v) => univEnter (tab, typeConstrVar, s, v),
275 enterStruct = fn (s,v) => univEnter (tab, structVar, s, v),
276 enterVal = fn (s, v) => univEnter (tab, valueVar, s, v)
281 makeSignature(sourceName, tab, min, locations, newMap, boundIds)
286 fun getNextRuntimeOffset(Signatures{tab, ...}): int =
307 univFold(tab, getOffset, 0)