pub fn parse_literal_binary(input: &mut Input<'_>) -> Result<Literal>
Parse a literal from a compressed proof.