From f1baaa23a85292428afda77786a7e49c41a92ed0 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 11 Mar 2018 11:45:47 +0700
Subject: [PATCH] Add Env.add

Just add 1 binding to Env
---
 src/env.ml  | 3 +++
 src/env.mli | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/src/env.ml b/src/env.ml
index cf533782..84173b93 100644
--- a/src/env.ml
+++ b/src/env.ml
@@ -80,3 +80,6 @@ let extend t ~vars =
         | Some _ -> v2
         | None -> v1)
     )
+
+let add t ~var ~value =
+  make ~base:t.base ~extra:(Map.add t.extra var value)
diff --git a/src/env.mli b/src/env.mli
index 0bb9ef9a..02c67ec6 100644
--- a/src/env.mli
+++ b/src/env.mli
@@ -16,3 +16,5 @@ val to_unix : t -> string array
 val get : t -> Var.t -> string option
 
 val extend : t -> vars:string Map.t -> t
+
+val add : t -> var:Var.t -> value:string -> t