Fields
- ok: bool
- false: not one-pass, or too big; nothing below is set
- stride: int
- byte classes
- slot_count: int
- start: int
- premultiplied by stride
- byte_class: [256] u8
- trans: [] Edge
- [state * stride + class]
- finals: [] Edge
- [state]:
nextis 1 if the match can end in this state - updates: [] u32
- lists of slots to set: a count, then the slots. Entry 0 is the empty list.