Unifex.CodeGenerator.BaseTypes.State (Unifex v1.2.4)

Copy Markdown View Source

Module implementing Unifex.CodeGenerator.BaseType behaviour for Unifex state.

To use it, specify the state type with Unifex.Specs.DSL.state_type/1.