[][src]Function tptp::parsers::integer

pub fn integer(x: &[u8]) -> Parsed<Cow<str>>