Function put_rules

crates/ixon/src/proof.rs:401–406

(rules: &[RevealRecursorRule], buf: &mut Vec<u8>)

    Tag0::new(self.rule_idx).put(buf);
    Tag0::new(self.fields).put(buf);
    buf.extend_from_slice(self.rhs.as_bytes());
  }

  pub fn get(buf: &mut &[u8]) -> Result<Self, String> {
    let rule_idx = Tag0::get(buf)?.size;
    let fields = Tag0::get(buf)?.size;
    let rhs = get_address(buf)?;
    Ok(RevealRecursorRule { rule_idx, fields, rhs })
  }