Function parse_lean 

pub fn parse_lean(source: &str) -> Result<SProgram>

Reads a Lean program.

Errors

On syntax errors and on constructs outside the portable core.