Skip to main content

parse

Function parse 

Source
pub fn parse(args: &[String]) -> Result<Parsed, String>
Expand description

Parse the arguments after lean-ctx workspace.