Crate dedukti_parse[−][src]
Expand description
Parser for the Dedukti file format
Example usage:
use dedukti_parse::{lexes, Command, Error, Parse};
let cmds = "prop: Type. def proof : prop -> Type.";
let cmds = lexes(&cmds);
let cmds = cmds.map(|cmd| Ok(Command::parse_vec(cmd?)));
let cmds: Result<Vec<_>, _> = cmds.collect();
assert_eq!(cmds?.len(), 2);
Re-exports
pub use lex::Token;
pub use parse::Command;
pub use parse::Error;
pub use parse::Intro;
pub use parse::Parse;
pub use parse::Rule;
pub use parse::Term;
pub use parse::TermB;