Module Qcert.Translation.Operators.ForeignToWasmAst

Require Import ForeignWSONRuntime.

Class foreign_to_wasm_ast
      (foreign_ejson_runtime_op:Set)
  : Type
  := mk_foreign_to_wasm_ast {
         foreign_to_wasm_ast_op
           (j:foreign_ejson_runtime_op) : foreign_wson_runtime_op
       }.