anchor.diff:  
   (* -------------------------------------------------------------------- *)
   let doc_of_mltydecl (decls : mltydecl) =
  -    let for1 (x, tparams, _) =
  +    let for1 (x, tparams, body) =
           let tparams =
               match tparams with
               | []  -> empty
  
positive.code:                 let doc = List.map (fun x -> (text (idsym x))) tparams in
                  parens (combine (text ", ") doc) in
  
          reduce1 [tparams; text x] in
  
      let doc = List.map for1 decls in
      let doc = reduce1 [text "type"; combine (text " and ") doc] in
  
negative.code:         text (idsym x)
  
      | MLTY_Tuple tys ->
          let doc = List.map (doc_of_mltype (t_prio_tpl, Left)) tys in
          let doc = parens (hbox (combine (text " * ") doc)) in
          doc
  
  