anchor.diff:          // ^- constraint ..
               pipe2ws parseView
                       // ^- <view> ...
  -                    (pstring "=>" >>. ws >>. parseExpression .>> ws .>> pstring ";" .>> ws)
  +                    (pstring "=>" >>. ws >>. parseExpression .>> ws .>> pstring ";")
                       // ^-        ... => <expression> ;
                       (fun v ex -> { CView = v; CExpression = ex })
   
  
positive.code:         many1 (
              pipe2ws parseCommand
                      // ^- <command> ...
                      (parseViewLine .>> ws)
                      // ^-           ... <view-line>
                      (fun c v -> { Command = c; Post = v })
          )
  
negative.code:     /// Parser for skipping ONE or more whitespace characters.
      let ws1 = many1Chars wsc
  
      /// As pipe2, but with automatic whitespace parsing after each parser.
      let pipe2ws x y f = pipe2 (x .>> ws) (y .>> ws) f
  
      /// As pipe3, but with automatic whitespace parsing after each parser.
      let pipe3ws x y z f = pipe3 (x .>> ws) (y .>> ws) (z .>> ws) f
  
      // Special characters.
  
  