List of all items

Structs

• Span
• ast::Action
• ast::ActionParam
• ast::Alternative
• ast::AppliesTo
• ast::Assertion
• ast::Attribute
• ast::Binding
• ast::Contract
• ast::EnumDef
• ast::EnumVariant
• ast::Expr
• ast::Field
• ast::FieldInit
• ast::FieldPattern
• ast::GenericArg
• ast::GivenClause
• ast::Ident
• ast::Import
• ast::ImportItem
• ast::Invariant
• ast::LambdaParam
• ast::MatchArm
• ast::Module
• ast::Path
• ast::Pattern
• ast::Property
• ast::Quality
• ast::QualityProperty
• ast::QualityTarget
• ast::QuantBinding
• ast::Relation
• ast::Scenario
• ast::Specification
• ast::StateBlock
• ast::StateField
• ast::ThenClause
• ast::TypeAlias
• ast::TypeDef
• ast::TypeRef
• ast::WhenClause
• cli::Cli
• codegen::MarkdownGenerator
• codegen::MermaidGenerator
• lexer::LexError
• lexer::Lexer
• lexer::SpannedToken
• model::CheckResult
• model::Checker
• model::CompiledAction
• model::CompiledAlternative
• model::CompiledAssertion
• model::CompiledAssignment
• model::CompiledAttribute
• model::CompiledContract
• model::CompiledEnum
• model::CompiledGiven
• model::CompiledInvariant
• model::CompiledProperty
• model::CompiledQuality
• model::CompiledQualityProperty
• model::CompiledRelation
• model::CompiledScenario
• model::CompiledSpec
• model::CompiledState
• model::CompiledStruct
• model::CompiledThen
• model::CompiledTypeAlias
• model::CompiledVariant
• model::CompiledWhen
• model::CompiledWhenAction
• model::Counterexample
• model::Environment
• model::Import
• model::StateSnapshot
• model::Trace
• parser::Parser
• project::Loader
• project::Manifest
• project::OutputConfig
• project::Project
• semantic::ActionInfo
• semantic::Analyzer
• semantic::Diagnostics
• semantic::EnumInfo
• semantic::ImportedItem
• semantic::ModuleInfo
• semantic::ModuleRegistry
• semantic::QualifiedName
• semantic::RelationInfo
• semantic::ResolvedImport
• semantic::StateInfo
• semantic::StructInfo
• semantic::Symbol
• semantic::SymbolTable
• semantic::TypeId
• semantic::TypeRegistry
• semantic::TypeVarId
• semantic::VariantInfo

Enums

• ast::AppliesToKind
• ast::AttributeArg
• ast::BinaryOp
• ast::BuiltInType
• ast::ContractKind
• ast::DurationUnit
• ast::ExprKind
• ast::Literal
• ast::PatternKind
• ast::QualityCategory
• ast::QualityOp
• ast::QualityPropertyValue
• ast::QualityValue
• ast::QuantBindingKind
• ast::RateUnit
• ast::RelationConstraint
• ast::SizeUnit
• ast::TemporalOp
• ast::TypeRefKind
• ast::UnaryOp
• cli::Commands
• codegen::DiagramType
• lexer::Token
• model::CompiledAttributeArg
• model::QualityCategory
• model::RelationProperty
• model::TemporalOp
• model::Value
• parser::ParseError
• project::LoadError
• semantic::ScopeKind
• semantic::SemanticError
• semantic::SymbolKind
• semantic::Type

Functions

• cli::run
• lexer::tokenize
• model::compile
• parser::parse
• semantic::analyze

Type Aliases

• parser::ParseResult
• semantic::SemanticResult