Module Qcert.JavaScript.Lang.JavaScript


Section JavaScript.
  Require Import String.

Javascript programs are in serialized form
  Definition javascript := string.
  Definition js := javascript.
  
End JavaScript.