(* internal functions *******************************************************)
let lenv_iter map_bind map_appl map_proj st e lenv out tab =
(* internal functions *******************************************************)
let lenv_iter map_bind map_appl map_proj st e lenv out tab =