Lines Matching refs:prefix
104 type config = {dohelp : bool, prefix : string, prelude : string,
107 val default_config = {dohelp = false, prefix = "", prelude = "", suffix = ""}
115 fun turnOnHelp _ = {dohelp = true, prefix = "", prelude = "", suffix = ""}
116 fun turnOnHOL {dohelp,...} = {dohelp = dohelp, prefix = "use \"",
119 fun setPrefix s {prefix,dohelp,suffix,prelude} =
120 {prefix = s, dohelp = dohelp, suffix = suffix, prelude = prelude}
121 fun setSuffix s {prefix,dohelp,suffix,prelude} =
122 {prefix = prefix, dohelp = dohelp, suffix = s, prelude = prelude}
133 {short = "p", long = ["prefix"],
135 desc = ReqArg (setPrefix, "prefix")},
138 desc = ReqArg (setPrefix, "prefix")}
177 (fn s => print (#prefix config ^ s ^ #suffix config ^ "\n"))