Module model 

YAML machine-definition model (SPEC §4) and raw deserialization.

These structs mirror schema/machine.schema.json closely. Structural validation (unknown fields, required fields, basic shapes) is enforced by serde’s deny_unknown_fields plus [crate::validate]; richer semantic checks (reference resolution, choice defaults/acyclicity, esv scope, contracts) live in the validator.

Structs

AfterTimer

ChoiceBranch

EsvDecl

EventDecl

InitialTransition

Languages

Migration

PayloadField

RawMachine

Region

StateNode

Transition

Enums

Action

TransitionOrList

Functions

esv_init_value

Convert a raw esv init literal (YAML) into a Value, checking it matches the type.

inline_submachines

Inline submachine: references into a nested state tree (SPEC §5.6.1).

parse_action

Parse one action from its raw YAML mapping.

parse_actions