module Initial_env:The initial environment. It is empty except bindings for predefined things likesig
..end
bool
val initial_env : Typed_ast.env
val read_target_constants : string -> Target.target -> 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.