Module JavaScript
Section
JavaScript
.
Require
Import
String
.
Javascript programs are in serialized form
Definition
javascript
:=
string
.
Definition
js
:=
javascript
.
End
JavaScript
.