links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Js . Symbols
val words : string Utility.CharMap.t
val js_keywords : string list
val has_symbols : string -> bool
val wordify : string -> string