Qcert.Compiler.EnhancedCompiler

Module EnhancedCompiler
  := QLib.QLib(EnhancedModel.EnhancedRuntime)
                      <+ EnhancedModel.CompEnhanced.