anchor.diff:          end
       | U_max us -> U.format1 "(max %s)" (List.map univ_to_string us |> String.concat ", ")
       | U_unknown -> "unknown"
  +)
   
   let univs_to_string us = List.map univ_to_string us |> String.concat ", "
   
  
positive.code:           else U.format2 "%s (%s)" (sli c.effect_name) (term_to_string c.result_typ) in
        let dec = c.flags |> List.collect (function DECREASES e -> [U.format1 " (decreases %s)" (term_to_string e)] | _ -> []) |> String.concat " " in
        U.format2 "%s%s" basic dec
  
  and cflag_to_string c =
      match c with
  
negative.code:     | _ -> n, Some u
  
  let rec univ_to_string u =
  Errors.with_ctx "While printing universe" (fun () ->
    // VD: commented out for testing NBE
    // if not (Options.ugly()) then
    //   let e = Resugar.resugar_universe u Range.dummyRange in
  