ponies ~master (2018-02-15T19:42:36Z)
Dub
Repo
parse
commandline
parses args (takes out all options and returns the rest).
ParseResult
parse
(
Option
[]
options
,
string
[]
args
)
Meta
Source
See Implementation
commandline
functions
parse
parses args (takes out all options and returns the rest).