Module Initial_env

module Initial_env: sig .. end
The initial environment. It is empty except bindings for predefined things like bool

val initial_env : Typed_ast.env
val read_target_constants : string -> -> Typed_ast.NameSet.t
read_target_constants lib_path target reads the list of contants that should be avoided for target target. These constants are read from a file lib_path/{target}_constants. If this file does not exists, the empty set is returned.