Header
The data stored at byte offset 0 when ZOIR is stored in a file.
Fields of this type
Fields
- nodes_len:u32
- extra_len:u32
- limbs_len:u32
- string_bytes_len:u32
- compile_errors_len:u32
- error_notes_len:u32
- unused:u64
- We could leave this as padding, however it triggers a Valgrind warning because
- stat_inode:std.fs.File.INode
- stat_size:u64
- stat_mtime:i128