anchor.diff:                              (int codeLens.range.start.character + 1)
   
                       let cmd = createEmpty<Command>
  -                    cmd.title <- formatSingature signaturesResult.Data
  +                    cmd.title <- formatSignature signaturesResult.Data
                       codeLens.command <- cmd
                       return codeLens
                   } |> Case2
  
positive.code:                 | Contains "(requires" p -> p
                  | Contains "*" p ->
                      p.Split '*' |> Seq.map (fun z -> if z.Contains ":" then z.Split(':').[1] else z) |> String.concat "* "
                  | Contains "," p ->
                      p.Split ',' |> Seq.map (fun z -> if z.Contains ":" then z.Split(':').[1] else z) |> String.concat "* "
                  | Contains ":" p ->
                      p.Split(':').[1]
                  | p -> p)
  
negative.code:                 else
                      codeLenses |> Array.append [|codeLens|])
  
          let formatSignature (sign : string) : string =
              let sign =
                  match sign with
                  | StartsWith "val" _
  