Struct Program

pub struct Program { /* private fields */ }

The central state machine assembler.

Implementations

impl Program

pub fn new() -> Self

Construct a new empty state machine.

pub fn seal(&self) -> Result<(), Error>

Seal the given program.

pub fn var(&self) -> Var

Allocate a new value.

pub fn block(&mut self) -> Block

Construct a new block associated with the state machine.

pub fn named(&mut self, name: &str) -> Block

Construct a block with a name.

pub fn dump(&self) -> ProgramDump<'_>

Dump the current state of the program.

This is useful for diagnostics.