Function parse_rocq 

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

Reads a Rocq program.

Errors

On syntax errors and on constructs outside the portable core.