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