Skip to main content

parse

lean_ctx::core::workspace_args

Function parse 

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

Parse the arguments after lean-ctx workspace.