Module ErgoSpec.Backend.Lib.QBackendRuntime

Require Import String.
Require Import List.

Require Import ErgoSpec.Backend.Qcert.QcertModel.
Require Import QBackendModel.

Module QBackendRuntime <: QBackendModel.
  Local Open Scope string.

  Definition ergo_foreign_data := enhanced_foreign_data.
  Definition ergo_foreign_type := enhanced_foreign_type.

End QBackendRuntime.