Lines Matching refs:arg
173 "T:" -> (arg =>
174 eval_args = eval_args ::: List("--eval", "use_thy " + ML_Syntax.print_string_bytes(arg))),
175 "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
176 "e:" -> (arg => eval_args = eval_args ::: List("--eval", arg)),
177 "f:" -> (arg => eval_args = eval_args ::: List("--use", arg)),
178 "l:" -> (arg => logic = arg),
179 "m:" -> (arg => modes = arg :: modes),
180 "o:" -> (arg => options = options + arg))