Module Qcert.Translation.Model.ForeignEJsonToWSON

Require Import ForeignEJson.
Require Import ForeignWSON.

Local Open Scope string_scope.

Class foreign_to_wson
      (foreign_ejson_model:Set)
  : Type
  := mk_foreign_to_wson {
         foreign_to_wson_from_ejson
           (j:foreign_ejson_model) : foreign_wson
       }.