(a: &Address, buf: &mut Vec<u8>)
| 73 | } |
| 74 | |
| 75 | fn put_address(a: &Address, buf: &mut Vec<u8>) { |
| 76 | put_bytes(a.as_bytes(), buf); |
| 77 | } |
| 78 | |
| 79 | /// Write an `Option<Address>` as `[0x00]` (None) or `[0x01][addr:32]` |
| 80 | /// (Some). Mirrors the Claim-side encoding in `proof.rs`. |
no test coverage detected