anchor.diff:          member x.Transformer = x.Transformer
       interface DesigntimeFarkle with
           member x.Name = x._Name
  -        member __.ResultingType = typeof<'T>
  +        member __.Metadata = GrammarMetadata.Default
       interface DesigntimeFarkle<'T>
   
   /// Functions to create `Terminal`s.
  
positive.code: /// </remarks>
  type T<'T> = delegate of Position * ReadOnlySpan<char> -> 'T
  
  /// <summary>The base, untyped interface of <see cref="DesigntimeFarkle{T}"/>.</summary>
  /// <remarks>User code must not implement this interface, or an error may be raised.</remarks>
  /// <seealso cref="DesigntimeFarkle{T}"/>
  type DesigntimeFarkle =
      /// The name of the starting symbol.
      abstract Name: string
      /// The type of the objects generated by the `DesigntimeFarkle`.
      abstract ResultingType: Type
  
  [<CompiledName("AbstractTerminal")>]
  /// <summary>The base, untyped interface of <see cref="Terminal{T}"/>.</summary>
  /// <seealso cref="Terminal{T}"/>
  type Terminal =
      inherit DesigntimeFarkle
      /// <summary>The <see cref="Regex"/> that defines this terminal.</summary>
      abstract Regex: Regex
  
negative.code: type DesigntimeFarkle<'T> = 
      inherit DesigntimeFarkle
  
  type internal DesigntimeFarkleWithMetadata =
      abstract InnerDesigntimeFarkle: DesigntimeFarkle
  
  type internal DesigntimeFarkleWithMetadata<'T> = {
      InnerDesigntimeFarkle: DesigntimeFarkle<'T>
      Metadata: GrammarMetadata
  }
  with
      static member Create (df: DesigntimeFarkle<'T>) =
          match df with
          | :? DesigntimeFarkleWithMetadata<'T> as dfwm -> dfwm
          | _ -> {InnerDesigntimeFarkle = df; Metadata = GrammarMetadata.Default}
      interface DesigntimeFarkle<'T> with
          member x.Name = x.InnerDesigntimeFarkle.Name
          member x.Metadata = x.Metadata
      interface DesigntimeFarkleWithMetadata with
          member x.InnerDesigntimeFarkle = upcast x.InnerDesigntimeFarkle
  
  /// <summary>A terminal symbol.</summary>
  /// <typeparam name="T">The type of the objects this terminal generates.</typeparam>
  type Terminal<'T> = internal {
  