Complete Example const std = @import("std"); pub fn main() !void { const StartingState = Witness(Example.Exit, Example.AOrB(Example.State1, Example.State2)); var gst: GlobalState = .init; sw: switch (StartingState.transition(&gst)) { .Current => |function| { continue :sw function(&gst); }, .Exit => {}, } } pub const GlobalState = struct { counter: u64, prng: std.Random.DefaultPrng, pub const init: GlobalState = .{ .co...
