anchor.diff:  /// A binding of a variable to an expression, as in a `let` binding or similar
   [<NoEquality; NoComparison; StructuredFormatDisplay("{DebugText}")>]
   type Binding = 
  -    | TBind of Val * Expr * DebugPointForBinding
  +    | TBind of var: Val * expr: Expr * debugPoint: DebugPointForBinding
   
       /// The value being bound
       member x.Var = (let (TBind(v, _, _)) = x in v)
  
positive.code: [<NoEquality; NoComparison; StructuredFormatDisplay("{DebugText}")>]
  type ObjExprMethod = 
  
      | TObjExprMethod of SlotSig * Attribs * Typars * Val list list * Expr * range
  
      member x.Id = let (TObjExprMethod(slotsig, _, _, _, _, m)) = x in mkSynId m slotsig.Name
  
  
negative.code: /// than a closure or a local), including argument names, attributes etc.
  [<NoEquality; NoComparison; StructuredFormatDisplay("{DebugText}")>]
  type ValReprInfo = 
      /// ValReprInfo (typars, args, result)
      | ValReprInfo of typars: TyparReprInfo list * args: ArgReprInfo list list * result: ArgReprInfo 
  
      /// Get the extra information about the arguments for the value
      member x.ArgInfos = (let (ValReprInfo(_, args, _)) = x in args)
  