Lines Matching defs:aliases
164 aliases : string list,
192 aliases = [], maximum = max}))
201 | SOME {aliases,maximum,default,value} =>
203 val aliases' =
204 if List.exists (fn s => s = alias) aliases then aliases
205 else alias::aliases
206 val rcd = {aliases = aliases', maximum = maximum, default = default,
239 default = default, aliases = [],
253 default = if !bref then 1 else 0, aliases = [],
261 | TR {value, default = d, maximum, aliases} =>
262 {name = n, aliases = aliases,