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

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