Module Qcert.WSON.Model.ForeignWSON


Require Import Utils.

Section ForeignWSON.
WASM binary objects
  Parameter foreign_wson : Set.
End ForeignWSON.

Extract Constant foreign_wson => "string".
Generated by coq2html