anchor.diff:      let signature =
         match argInfos with
         | [] -> retType
  -      | [[x]] when v.IsGetterMethod && x.Name.IsNone && x.Type.NamedEntity.XmlDocSig = "T:Microsoft.FSharp.Core.unit" -> retType
  +      | [[x]] when v.IsGetterMethod && x.Name.IsNone && x.Type.TypeDefinition.XmlDocSig = "T:Microsoft.FSharp.Core.unit" -> retType
         | _  -> (formatArgsUsage true v argInfos) + " -> " + retType
   
       let usage = 
         match argInfos with
  -      | [[x]] when v.IsGetterMethod && x.Name.IsNone && x.Type.NamedEntity.XmlDocSig = "T:Microsoft.FSharp.Core.unit" -> ""
  +      | [[x]] when v.IsGetterMethod && x.Name.IsNone && x.Type.TypeDefinition.XmlDocSig = "T:Microsoft.FSharp.Core.unit" -> ""
         | _  -> formatArgsUsage false v argInfos
       
       let buildShortUsage length = 
  
positive.code:     attribs |> Seq.exists (fun a -> isAttrib<'T>(a))
  
    let (|MeasureProd|_|) (typ : FSharpType) = 
        if typ.IsNamedType && typ.NamedEntity.LogicalName = "*" && typ.GenericArguments.Count = 2 then Some (typ.GenericArguments.[0], typ.GenericArguments.[1])
        else None
  
    let (|MeasureInv|_|) (typ : FSharpType) = 
        if typ.IsNamedType && typ.NamedEntity.LogicalName = "/" && typ.GenericArguments.Count = 1 then Some typ.GenericArguments.[0]
        else None
  
    let (|MeasureOne|_|) (typ : FSharpType) = 
        if typ.IsNamedType && typ.NamedEntity.LogicalName = "1" && typ.GenericArguments.Count = 0 then  Some ()
        else None
  
    let formatTypeArgument (typar:FSharpGenericParameter) =
  
negative.code:         (formatTypeWithPrec 2 ty1) + "*" + (formatTypeWithPrec 2 ty2)
      | MeasureInv ty -> "/" + (formatTypeWithPrec 1 ty)
      | MeasureOne  -> "1" 
      | _ when typ.HasTypeDefinition -> 
          let tcref = typ.TypeDefinition 
          let tyargs = typ.GenericArguments |> Seq.toList
          // layout postfix array types
          formatTypeApplication (formatTyconRef tcref) prec tcref.UsesPrefixDisplay tyargs 
  