Function rate_common::parser::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