links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Js
val hide_database_info : bool Settings.setting

Code generation

module Symbols : sig ... end
val name_binder : Var.binder -> string

Generate a JavaScript name from a binder

val var_name_var : int -> string

Generate a JavaScript name from a variable number.

val var_name_binder : Var.binder -> string

Generate a JavaScript name from a binder based on the unique integer for that binder.