Module Javert_utils.Js_config

This module contains configuration for JaVerT. It is a list of flags that can be activated, or values that are configurable.

Syntax

val syntax_js : bool Stdlib.ref

JS2JSIL

val use_strict : bool Stdlib.ref
val js2jsil_harnessing : bool Stdlib.ref
val js2jsil_line_numbers : bool Stdlib.ref
val js2jsil_sep_procs : bool Stdlib.ref
val unfolding : bool Stdlib.ref

Legacy config that is still used

val cosette : bool Stdlib.ref
val js : bool Stdlib.ref
val amazon : bool Stdlib.ref
val env_var_import_path : string

Other config

val import_paths : Dune_site.Private_.Helpers.Location.t list