anchor.diff:      // 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); 
  +        w (code_wrap (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 
  
positive.code:           // 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 "```";
            // SI: this will print doc twice if there's no summary: kw. 
            (match top_decl.doc with | Some(doc, _) -> w doc | _ -> ());
            // non-TopLevelModule decls. 
  
negative.code: let string_of_termo t = string_of_optiont term_to_string "" t
  
  // wrap-up s in MD code block.
  // SI: we pretend to be F# so that pandoc can produce prettier html. 
  let code_wrap s = "```fsharp\n" ^ s ^ "\n```\n"
  
  ///////////////////////////////////////////////////////////////////////////////
  // tycon
  