Module Qcert.Translation.Operators.ForeignToJavaScriptAst

Require Import List.
Require Import String.
Require Import ForeignEJson.
Require Import JavaScriptAst.

Section ForeignToJavaScriptAst.

  Class foreign_ejson_to_ajavascript
        {foreign_ejson_model:Set}
        {fejson:foreign_ejson foreign_ejson_model} : Type
    := mk_foreign_ejson_to_ajavascript {
           foreign_ejson_to_ajavascript_expr (fe:foreign_ejson_model) : expr
         }.

End ForeignToJavaScriptAst.