anchor.diff:      // Quotes will be printed by inner expression
       | PatQuoteExpr e -> genExpr e
       | p -> failwithf "Unexpected pattern: %O" p
  -
  
positive.code:     | SigFile si -> genSigFile si
  
  and genImpFile(ParsedImplFileInput(hs, mns)) = 
      col sepNln hs genParsedHashDirective
      +> col sepNln mns genModuleOrNamespace
  
  and genSigFile(ParsedSigFileInput(hs, mns)) =
      col sepNln hs genParsedHashDirective
      +> col sepNln mns genSigModuleOrNamespace
  
  and genParsedHashDirective(ParsedHashDirective(h, s)) =
  
negative.code:         // Use verbatim string to escape '\' correctly
          | _ when s.Contains("\\") -> !- (sprintf "@\"%O\"" s)
          | _ -> !- (sprintf "\"%O\"" s)
      !- "#" -- h +> sepSpace +> gs +> sepNln
  
  and genModuleOrNamespace(ModuleOrNamespace(ats, px, ao, s, mds, isModule)) =
      genPreXmlDoc px
  