Function put_refs

crates/ixon/src/serialize.rs:796–801

(refs: &[Address], buf: &mut Vec<u8>)

  }
}

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

  pub fn get(buf: &mut &[u8]) -> Result<Self, String> {