Function parse_proof_step

pub fn parse_proof_step(
    parser: &mut Parser,
    clause_ids: &mut HashTable,
    input: &mut Input<'_>,
    binary: bool,
    state: &mut ProofParserState,
) -> Result<Option<()>>

Parse a single proof step