Function get_univs

crates/ixon/src/serialize.rs:819–826

(buf: &mut &[u8])

impl Quotient {
  pub fn put(&self, buf: &mut Vec<u8>) {
    self.kind.put_ser(buf);
    put_u64(self.lvls, buf);
    put_expr(&self.typ, buf);
  }

  pub fn get(buf: &mut &[u8]) -> Result<Self, String> {
    let kind = QuotKind::get_ser(buf)?;
    let lvls = get_u64(buf)?;
    let typ = get_expr(buf)?;
    Ok(Quotient { kind, lvls, typ })