let
pretty fmt lmap =
Format
.fprintf fmt
"Lmap = %a@\n"
LM
.pretty lmap