anchor.diff:            // SI: keep TopLevelModule special? 
             let com = document_toplevel name top_decl in 
             w (format "# module %s" [name.str]);
  -          w "```fstar"; w (format "%s" [com]); w "```";
  +          w (format "%s" [code_wrap com]);
             // SI: this will print doc twice if there's no summary: kw. 
             (match top_decl.doc with | Some(doc, _) -> w doc | _ -> ());
             // non-TopLevelModule decls. 
  
positive.code:     // This expr is OK F# code, but we need a few {begin, '('}s to make it OCaml as well. 
          // print the decl 
          let {d = decl; drange = _; doc = fsdoc} = d in
          w (string_of_decl' d.d); 
          // print the doc, if there's one 
          begin match fsdoc with 
          | Some(doc,_kw) -> w ("\n" ^ doc) // SI: do something with kw 
  
negative.code:   | ModuleAbbrev (i, l) -> "module " ^ i.idText ^ " = " ^ l.str
    | KindAbbrev(i, _, _) -> "kind " ^ i.idText
    | ToplevelLet(_, _, pats) -> 
              "let " ^ 
                  (lids_of_let pats |> List.map (fun l -> l.str) |> String.concat ", ")
    | Main _ -> "main ..."
    | Assume(_, i, _) -> "assume " ^ i.idText
    | Tycon(_, tys) -> 
              "type " ^ 
               (tys |> List.map (fun (t,d)-> (string_of_tycon t) ^ " " ^ (string_of_fsdoco d)) 
                   |> String.concat " and ") (* SI: sep will be "," for Record but "and" for Variant *)
        | Val(_, i, _) -> "val " ^ i.idText
    | Exception(i, _) -> "exception " ^ i.idText
    | NewEffect(_, DefineEffect(i, _, _, _, _))
  