Module ErgoSpec.Backend.Model.ErgoBackendRuntime

Require Import String.
Require Import List.
Require Import Qcert.Utils.Closure.
Require Import Qcert.Common.CommonSystem.
Require Import Qcert.Compiler.Model.CompilerRuntime.
Require Import Qcert.Translation.NNRCtoJavaScript.
Require Import Qcert.cNNRC.Lang.cNNRC.

Require Import ErgoSpec.Backend.Model.DateTimeModelPart.
Require Import ErgoSpec.Backend.Model.ErgoEnhancedModel.
Require Import ErgoSpec.Backend.ForeignErgo.
Require Import ErgoSpec.Backend.Model.ErgoBackendModel.

Module ErgoBackendRuntime <: ErgoBackendModel.
  Local Open Scope string.

  Definition ergo_foreign_data := enhanced_foreign_data.
  Definition ergo_data_to_json_string := NNRCtoJavaScript.dataToJS.
  Definition ergo_foreign_type := enhanced_foreign_type.

End ErgoBackendRuntime.