anchor.diff:              +> ifElse isInline (!- "inline ") sepNone +> opt sepSpace ao genAccess
   
           prefix -- s1 +> sepSpace +> indent +> sepNln
  -        +> genProperty b1.RangeOfBindingSansRhs "with get " ps1 e1 +> sepNln +> genProperty b2.RangeOfBindingSansRhs "and set " ps2 e2
  +        +> genProperty "with get " ps1 e1 +> sepNln +> genProperty "and set " ps2 e2
           +> unindent
       | _ -> sepNone
   
  
positive.code:         match p with
          // Too tedious in handling property get and set
          | PatLongIdent(_, s, ps, _) ->                 
              prefix -- s +> genProperty b.RangeOfBindingSansRhs propertyPref ps e
          | p -> failwithf "Unexpected pattern: %O" p
  
      | MemberBinding(ats, px, ao, isInline, mf, p, e) ->
  
negative.code:     | b ->
          failwithf "%O isn't a let binding" b
  
  and genProperty prefix ps e =
      let tuplerize ps =
          let rec loop acc = function
              | [p] -> (List.rev acc, p)
  