Lines Matching defs:options
49 (* formatting of options *)
65 fun usageInfo {header, options} = let
67 val fmtOptions = List.map fmtOpt options
91 fun getOpt {argOrder, options : 'a opt_descr list, errFn} = let
97 options = options
114 val options = List.filter
116 options
147 long (map #desc options, arg, rest)
151 * options.
154 val options =
155 List.filter (fn {short,...} => Char.contains short x) options
156 val ads = map #desc options