Skip to main content

parse_open

Function parse_open 

Source
pub fn parse_open(src: &str) -> Result<Expr, Error>
Expand description

Parse Elly source into an Expr without resolution (open term). Used by tooling and the parse golden suite. For evaluation, prefer parse.