let pp_print_sys_modes fmt (sys, modes) = Format.fprintf fmt "%a: @[<v>* %a@]" Scope.pp_print_scope (Sys.scope_of_trans_sys sys) (pp_print_list pp_print_modes "@ * ") modes