Module ErgoSpec.Backend.Lib.QBackendModel

Require Import Qcert.Data.DataSystem.

Require Import ErgoSpec.Backend.Qcert.QcertModel.
Require Import ErgoSpec.Backend.ForeignErgo.

Module Type QBackendModel.
  Definition ergo_foreign_data : foreign_data := enhanced_foreign_data.
  Definition ergo_foreign_type : foreign_type := enhanced_foreign_type.
End QBackendModel.