Module Qcert.WSON.Operators.ForeignWSONRuntime
Require
Import
Utils
.
Section
ForeignWSONRuntime
.
Parameter
foreign_wson_runtime_op
:
Set
.
End
ForeignWSONRuntime
.
Extract
Constant
foreign_wson_runtime_op
=> "
string
".