[][src]Function tptp::parsers::lower_alpha

pub fn lower_alpha(x: &[u8]) -> Parsed<&[u8]>