include Environment'
+ let find k env =
+ match k with
+ Symbol (sym,n) ->
+ (try find k env
+ with Not_found -> find (Symbol (sym,0)) env)
+ | Num n ->
+ (try find k env
+ with Not_found -> find (Num 0) env)
+ | _ -> find k env
+
let cons k v env =
try
let current = find k env in