Exo v0.1.3 Exo.State View Source

Link to this section Summary

Types

t()

Functions

c(c, s)

Link to this section Types

Link to this type t() View Source

t() :: %Exo.State{id_counter: integer(), substitution: Exo.substitution()}

Link to this section Functions

Link to this function c(c, s) View Source

c(integer(), Exo.substitution()) :: Exo.State.t()