pub struct Diagram {
  header : String
  statements : ReadOnlyArray[Statement]
  front_matter : String?
  directives : ReadOnlyArray[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Statement {
  kind : StatementKind
  span : 
@moonrockz/diagrams.Span
Span
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum StatementKind {
  State(id~ : String, label~ : String?, role~ : String?, description~ : String?, classes~ : ReadOnlyArray[String])
  Composite(id~ : String, label~ : String?)
  EndComposite
  Concurrent
  Transition(source~ : String, target~ : String, label~ : String?, source_classes~ : ReadOnlyArray[String], target_classes~ : ReadOnlyArray[String])
  Description(id~ : String, text~ : String)
  Note(target~ : String, placement~ : String, text~ : String)
  FloatingNote(id~ : String, text~ : String)
  Direction(String)
  AccTitle(String)
  AccDescription(String)
  Presentation(String)
  Comment(String)
  Invalid(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)