2 module Type = Tiger_env_type
3 module Value = Tiger_env_value
11 { typs = Type.built_in
12 ; vals = Value.built_in
15 let get_typ {typs; _} k =
18 let get_val {vals; _} k =
22 {t with typs = Map.set t.typs ~k ~v}
25 {t with vals = Map.set t.vals ~k ~v}