(buf: &mut &[u8])
| 801 | } |
| 802 | |
| 803 | impl Axiom { |
| 804 | pub fn put(&self, buf: &mut Vec<u8>) { |
| 805 | put_bool(self.is_unsafe, buf); |
| 806 | put_u64(self.lvls, buf); |
| 807 | put_expr(&self.typ, buf); |
| 808 | } |
| 809 | |
| 810 | pub fn get(buf: &mut &[u8]) -> Result<Self, String> { |
| 811 | let is_unsafe = get_bool(buf)?; |
| 812 | let lvls = get_u64(buf)?; |
| 813 | let typ = get_expr(buf)?; |
no test coverage detected