pub fn parse_isle_to_terms(lexer: isle::lexer::Lexer) -> (TypeEnv, TermEnv) {
    // Parses to an AST, as a list of definitions
    let defs = isle::parser::parse(lexer).expect("should parse");

    // Produces environments including terms, rules, and maps from symbols and
    // names to types
    create_envs(&defs).unwrap()
}
/// Produces the two ISLE-defined structs with type and term environments
Produces the two ISLE-defined structs with type and term environments
Produces the two ISLE - defined structs with type and term environments
pub fn parse_isle_to_terms(lexer: isle::lexer::Lexer) -> (TypeEnv, TermEnv) {
    // Parses to an AST, as a list of definitions
    let defs = isle::parser::parse(lexer).expect("should parse");
    // Produces environments including terms, rules, and maps from symbols and
    // names to types
    create_envs(&defs).unwrap()
}
pub fn parse_isle_to_terms ( lexer : isle :: lexer :: Lexer ) -> ( TypeEnv , TermEnv ) { // Parses to an AST, as a list of definitions let defs = isle :: parser :: parse ( lexer ) . expect ( " " ) ; // Produces environments including terms, rules, and maps from symbols and // names to types create_envs ( & defs ) . unwrap ( ) }
Produces the two ISLE-defined structs with type and term environments
Produces the two ISLE - defined structs with type and term environments
lexer
isle::lexer::Lexer
lexer
isle::lexer::Lexer