let mkenv (l:('a*'b) list) = let e=(new env ()) in (e#set_l l); e