Function roundtrip

crates/ixon/src/univ.rs:247–254

(u: &Univ)

  }

  fn roundtrip(u: &Univ) -> bool {
    let mut buf = Vec::new();
    put_univ(u, &mut buf);
    match get_univ(&mut buf.as_slice()) {
      Ok(result) => result.as_ref() == u,
      Err(_) => false,
    }
  }

  #[quickcheck]
  fn prop_univ_roundtrip(u: ArbitraryUniv) -> bool {