Module Qcert.Translation.ForeignToJavaScript


Require Import List.
Require Import String.
Require Import Utils.
Require Import ForeignRuntime.

Local Open Scope string_scope.

Section ForeigntoJavaScript.

Class foreign_to_javascript {fruntime:foreign_runtime}: Type
  := mk_foreign_to_javascript {
         foreign_to_javascript_unary_op
           (indent:nat) (eol:string)
           (quotel:string) (fu:foreign_unary_op_type)
           (d:string) : string
         ; foreign_to_javascript_binary_op
             (indent:nat) (eol:string)
             (quotel:string) (fb:foreign_binary_op_type)
             (d1 d2:string) : string
       }.
End ForeigntoJavaScript.