Lines Matching refs:tag
7 type 'a tag =
15 fun update nm (tag, v:'a) t =
17 val u = tagInject tag v
22 fun update_new {desc,name} (tag, v) t =
24 val u = tagInject tag v
26 Symtab.update (name, (u, desc ^ " (" ^ tagDesc tag ^ ")")) t
29 fun peek t tag nm =
32 | SOME (u,d) => Option.map (fn v => (v, d)) (tagProject tag u)
42 val string : string tag = mkTag "string"
43 val int : int tag = mkTag "int"
44 val bool : bool tag = mkTag "bool"
45 val stringopt : string option tag = mkTag "string-option"