wip

src/environment/bool.ml

@@ -0,0 +1,3 @@
+open Ast_typed
+
+let environment = env_sum_type ~type_name:(Var.of_name "bool") @@ [(Constructor "true",t_unit ());(Constructor "false",t_unit ())]

src/environment/dune

@@ -0,0 +1,13 @@
+(library
+  (name environment)
+  (public_name ligo.environment)
+  (libraries
+    simple-utils
+    tezos-utils
+    ast_typed
+  )
+  (preprocess
+    (pps ppx_let bisect_ppx --conditional)
+  )
+  (flags (:standard -open Simple_utils))
+)

src/environment/environment.ml

@@ -0,0 +1,11 @@
+open Ast_typed
+
+let merge e1 e2 = 
+  let e1 = List.Ne.to_list e1 in
+  let e2 = List.Ne.to_list e2 in
+  List.Ne.of_list @@ e1 @ e2
+ 
+
+let default = Environment.full_empty
+
+let default = merge default Bool.environment