github.com/coq/opam-coq-archive
A minimal JavaScript syntax tree carved out of the JsCert project
opam install coq-jsast.2.0.0