package links

  1. Overview
  2. Docs
On This Page
  1. Code generation
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.