Lines Matching refs:arg
187 "T:" -> (arg =>
188 eval_args = eval_args ::: List("--eval", "use_thy " + ML_Syntax.print_string_bytes(arg))),
189 "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
190 "e:" -> (arg => eval_args = eval_args ::: List("--eval", arg)),
191 "f:" -> (arg => eval_args = eval_args ::: List("--use", arg)),
192 "l:" -> (arg => logic = arg),
193 "m:" -> (arg => modes = arg :: modes),
194 "o:" -> (arg => options = options + arg))