Interface for qBeta module object
workspace: obj
%id "workspace"
%include BETA,LIB,LIB.BasicIO,qbeta
%domain_boundary
%Module AccessEx
%Module ApplyPred
%Module ArduinoEx
%Module ArmBasicSys
%Module ArmLed
%Module ArmMultiCore
%Module CAStest
%Module CAStestCore
%Module CppEx
%Module DumpObjEx
%Module ESP32Ex
%Module Errors
%Module ForkGC
%Module FuncVirtExVclass
%Module FunctionalVirtEx
%Module Generic
%Module GenericArray
%Module GenericList
%Module IndexEx
%Module Jurgen
%Module LLVMex
%Module Line
%Module ListLiteralEx
%Module LockTest
%Module LockTestCore
%Module MVRsystem
%Module MapEx
%Module MiniVal
%Module NewInner
%Module NewKeyWord
%Module NewStorage
%Module NewSyntax
%Module NoneEx
%Module ObjectAndValues
%Module PTX
%Module PointReturn
%Module PointSys
%Module PtnName
%Module Qtst
%Module QuaValue
%Module Qual
%Module Recursive
%Module RemoteSuperVC
%Module Restrictions
%Module SlideEx
%Module Small
%Module SmallVirtEx
%Module StringEx
%Module Sub1
%Module SubOfInt
%Module TST
%Module TstBreak
%Module UnitLiterals
%Module UnitTest
%Module ValueArray
%Module ValueConv
%Module ValueEx
%Module ValueItemEx
%Module ValueTypes
%Module VirtError
%Module VirtualEx
%Module Visibility
%Module cbrtUnit
%Module comment
%Module demo
%Module noglobtst
%Module qbetaCmp
%Module qenvTest
%Module rangetst
%Module test
%Module tiny
%Module tinyA
%Module tinyB
%Module tinyC
%Module tinyD
%Module tinyE
%Module tinyF
%Module tinyG
%Module tinyH
%Module tinyI
%Module tinyP
%Module tinyQ
%Module tinyR
%Module tinyS
%Module tinyT
%Module tinyW
%Module tinyY
%Module tinyZ
%Module tinyx
%Module xKinds