anchor.diff:  (* -------------------------------------------------------------------- *)
   let doc_of_mltydecl (currentModule : mlsymbol) (decls : mltydecl) =
       let for1 (_, x, mangle_opt, tparams, body) =
  -        let x = match mangle_opt with 
  +        let x = match mangle_opt with
                   | None -> x
                   | Some y -> y in
           let tparams =
  
positive.code:                     | 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] 
              else text "" in
          reduce1 [text (idsym name); reduce1 ids; ty_annot; text "="; e] in
  
  
negative.code:                  then Some (pfx@[Util.flatten_ns sfx])
                   else None
              else None) in
           match found with
              | None -> [ns']
              | Some x -> x
  
  