Module Qcert.JavaScriptAst.Lang.JavaScriptAst
Require
Export
JsAst.JsSyntax
.
Section
JavaScriptAst
.
Definition
js_ast
:=
module
.
End
JavaScriptAst
.