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;