Index
Zuspec Language
Navigation
User Guide:
Zuspec Language Overview
Abstraction Levels
Components
Class Fields
Core Types
Constraints
Runtime Implementation (Developer)
Zuspec IR Checker
Advanced Topics:
Data Model (Developer)
Related Topics
Documentation overview