Qcert.Compiler.TrivialCompiler

Module TrivialCompiler.
  Module Runtime := TrivialModel.TrivialRuntime.

  Module TrivialCompiler := QLib.QLib(Runtime).
End TrivialCompiler.