Function tptp::common::comment_line

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

% a single-line comment