anchor.diff:                      | Some ([], ty) ->
                         let ty = doc_of_mltype currentModule (min_op_prec, NonAssoc) ty in
   //                      let vars = vars |> List.map (fun x -> doc_of_mltype currentModule (min_op_prec, NonAssoc) (MLTY_Var x)) |>  reduce1  in
  -                      reduce1 [text ":"; ty] 
  +                      reduce1 [text ":"; ty]
               else text "" in
           reduce1 [text (idsym name); reduce1 ids; ty_annot; text "="; e] in
   
  
positive.code: (* -------------------------------------------------------------------- *)
  let doc_of_mltydecl (currentModule : mlsymbol) (decls : mltydecl) =
      let for1 (_, x, mangle_opt, tparams, body) =
          let x = match mangle_opt with 
                  | None -> x
                  | Some y -> y in
          let tparams =
  
negative.code:         lets in
  
      combine hardline lets
  
  
  and doc_of_loc (lineno, file) =
      if (Options.no_location_info()) || Util.codegen_fsharp () then
  