Function parse_decl_str 

pub fn parse_decl_str(source: &str) -> ParseResult<String>

Parse an OxiLean declaration from a source string.

Errors

Returns Err with a description if lexing or parsing fails.