@type history_type() :: :shallow | :deep

@type state_type() :: :atomic | :compound | :parallel | :history | :initial | :final

@type t() :: %Statifier.State{
  depth: non_neg_integer(),
  document_order: integer() | nil,
  history_type: history_type() | nil,
  history_type_location: map() | nil,
  id: String.t(),
  id_location: map() | nil,
  initial: [String.t()],
  initial_location: map() | nil,
  onentry_actions: [term()],
  onexit_actions: [term()],
  parent: String.t() | nil,
  source_location: map() | nil,
  states: [t()],
  transitions: [Statifier.Transition.t()],
  type: state_type()
}