let
pp_assign fmt asgn = pp_assigns fmt [asgn]