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