import Runtime.VM.Model.TypeClasses
import Runtime.VM.Model.Domain
import Runtime.VM.Model.Core
import Runtime.VM.Model.OutputCondition
import Runtime.VM.Model.Violation
import Runtime.VM.Model.SchedulerTypes
import Runtime.VM.Model.Knowledge
import Runtime.VM.Model.Config
import Runtime.VM.Model.CompileLocalTypeR
import Runtime.VM.Model.Program
import Runtime.VM.Model.State
import Runtime.VM.Model.UnitModel

set_option autoImplicit false


/-! # Runtime.VM.Model

VM data model layer: types, configuration, protocol image/model state, and
unit/default model instances.
-/
