View Source Unifex.CodeGenerator.BaseTypes.State (Unifex v1.2.1)

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

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