Module Javert_utils

module Asrt_utils : sig ... end
module Io_utils : sig ... end
module JSILNames : sig ... end

Local Actions

module Js_config : sig ... end

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

module Js_generators : sig ... end
module Runtime_sites : sig ... end