Function dedukti_parse::lex[][src]

pub fn lex(s: &str) -> impl Iterator<Item = Token<'_>>