let
env_of_def_list =
List
.map (
fun
d
->
(d.def_name, d))