js_of_ocaml-compiler 3.0.1

module Label : sig ... end

type location =

type identifier = string

type ident_string = {

}

type ident =

and array_litteral = element_list

and element_list = expression option list

and binop =

and unop =

and arguments = expression list

and property_name_and_value_list = (property_name * expression) list

and property_name =

and expression =

and statement =

| Block of block
| Variable_statement of variable_declaration list
| Empty_statement
| Expression_statement of expression
| If_statement of expression * statement * location * (statement * location) option
| Do_while_statement of statement * location * expression
| While_statement of expression * statement * location
| For_statement of (expression option, variable_declaration list) either * expression option * expression option * statement * location
| ForIn_statement of (expression, variable_declaration) either * expression * statement * location
| Continue_statement of Label.t option
| Break_statement of Label.t option
| Return_statement of expression option
| Labelled_statement of Label.t * statement * location
| Switch_statement of expression * case_clause list * statement_list option * case_clause list
| Throw_statement of expression
| Try_statement of block * (ident * block) option * block option
| Debugger_statement

and ('left, 'right) either =

and block = statement_list

and statement_list = (statement * location) list

and variable_declaration = ident * initialiser option

and case_clause = expression * statement_list

and initialiser = expression * location

and function_declaration =
  ident * formal_parameter_list * function_body * location

and function_expression =
  ident option * formal_parameter_list * function_body * location

and formal_parameter_list = ident list

and function_body = source_elements

and program = source_elements

and source_elements = (source_element * location) list

and source_element =

val compare_ident : ident -> ident -> int

val string_of_number : float -> string

val is_ident : string -> bool

module IdentSet : Set.S with type elt = ident

module IdentMap : Map.S with type key = ident

package js_of_ocaml-compiler