.ml

open Ast

exception Refinition of string
exception Undefined of string

module Env : sig
    type t
    val empty : t
    val derive : t -> t
    val insert : string -> Ast.name -> t -> t
end = struct
    module String_map = Map.Make (String)
    type t = { parent : t option; names : Ast.name String_map.t }
    let empty = { parent = None; names = String_map.empty }
end

let rename prefix modul = modul