let
pp_assigns fmt asgns =
Format
.fprintf fmt
"@[<hov 2>%a@]"
(
Pretty_utils
.pp_list pp_assign) asgns