Unifex.CodeGenerator.BaseTypes.State
(Unifex v1.2.2)
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.