sig val initial_env : Typed_ast.env val read_target_constants : string -> Target.target -> Typed_ast.NameSet.t end