let pp_print_mode fmt (scope, term) = Format.fprintf fmt "%a (%a)" Scope.pp_print_scope scope Term.pp_print_term term