Function tptp::common::ignored

source · []
pub fn ignored<'a, E: Error<'a>>(x: &'a [u8]) -> Result<'a, (), E>
Expand description

zero or more whitespace, comment_line, or comment_block