Lines Matching refs:tag
683 val useFileTag: string option Universal.tag = Universal.tag()
749 type 'a tag = 'a Universal.tag;
2155 val structureTag: (string * PolyML.NameSpace.Structures.structureVal) Universal.tag = Universal.tag()
2156 val functorTag: (string * PolyML.NameSpace.Functors.functorVal) Universal.tag = Universal.tag()
2157 val signatureTag: (string * PolyML.NameSpace.Signatures.signatureVal) Universal.tag = Universal.tag()
2158 val valueTag: (string * PolyML.NameSpace.Values.value) Universal.tag = Universal.tag()
2159 val typeTag: (string * PolyML.NameSpace.TypeConstrs.typeConstr) Universal.tag = Universal.tag()
2160 val fixityTag: (string * PolyML.NameSpace.Infixes.fixity) Universal.tag = Universal.tag()
2161 val startupTag: (unit -> unit) Universal.tag = Universal.tag()
2170 fun dolookup (look, tag, kind) s =
2172 SOME v => Universal.tagInject tag (s, v)
2193 fun extract (tag:'a Universal.tag): Universal.universal list -> 'a list =
2195 fn s => if Universal.tagIs tag s then SOME(Universal.tagProject tag s) else NONE)