# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Formats.Asn1", "AsnDecoder", False, "ReadBitString", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "ReadCharacterString", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.UniversalTagNumber,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "ReadEnumeratedBytes", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "ReadIntegerBytes", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "ReadOctetString", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadBitString", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "Argument[1].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadCharacterStringBytes", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.Asn1Tag,System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[1].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadOctetString", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "Argument[1].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadPrimitiveBitString", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.ReadOnlySpan<System.Byte>,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "Argument[3].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadPrimitiveCharacterStringBytes", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.Asn1Tag,System.ReadOnlySpan<System.Byte>,System.Int32)", "", "Argument[0].Element", "Argument[3].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", False, "TryReadPrimitiveOctetString", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.ReadOnlySpan<System.Byte>,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[0].Element", "Argument[2].Element", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "AsnReader", "(System.ReadOnlyMemory<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.AsnReaderOptions)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "AsnReader", "(System.ReadOnlyMemory<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.AsnReaderOptions)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "ReadBitString", "(System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "ReadCharacterString", "(System.Formats.Asn1.UniversalTagNumber,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "ReadOctetString", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "TryReadBitString", "(System.Span<System.Byte>,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "TryReadCharacterStringBytes", "(System.Span<System.Byte>,System.Formats.Asn1.Asn1Tag,System.Int32)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", False, "TryReadOctetString", "(System.Span<System.Byte>,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "Encode<TReturn>", "(System.Func<System.ReadOnlySpan<System.Byte>,TReturn>)", "", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "Encode<TState,TReturn>", "(TState,System.Func<TState,System.ReadOnlySpan<System.Byte>,TReturn>)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "Encode<TState,TReturn>", "(TState,System.Func<TState,System.ReadOnlySpan<System.Byte>,TReturn>)", "", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "Encode<TState>", "(TState,System.Action<TState,System.ReadOnlySpan<System.Byte>>)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "PushOctetString", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "PushSequence", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", False, "PushSetOf", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Formats.Asn1", "Asn1Tag", "AsConstructed", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "AsPrimitive", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Asn1Tag", "(System.Formats.Asn1.TagClass,System.Int32,System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Asn1Tag", "(System.Formats.Asn1.UniversalTagNumber,System.Boolean)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "CalculateEncodedSize", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Decode", "(System.ReadOnlySpan<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Encode", "(System.Span<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Equals", "(System.Formats.Asn1.Asn1Tag)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "HasSameClassAndValue", "(System.Formats.Asn1.Asn1Tag)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "ToString", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "TryDecode", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.Asn1Tag,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "TryEncode", "(System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "get_IsConstructed", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "get_TagClass", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "get_TagValue", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "op_Equality", "(System.Formats.Asn1.Asn1Tag,System.Formats.Asn1.Asn1Tag)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "Asn1Tag", "op_Inequality", "(System.Formats.Asn1.Asn1Tag,System.Formats.Asn1.Asn1Tag)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnContentException", "AsnContentException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnContentException", "AsnContentException", "(System.String)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnContentException", "AsnContentException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "DecodeLength", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadBoolean", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadEncodedValue", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadEnumeratedValue", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Type,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadEnumeratedValue<TEnum>", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadGeneralizedTime", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadInteger", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadNamedBitList", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadNamedBitListValue", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Type,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadNamedBitListValue<TFlagsEnum>", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadNull", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadObjectIdentifier", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadSequence", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadSetOf", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Int32,System.Boolean,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "ReadUtcTime", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryDecodeLength", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Nullable<System.Int32>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadCharacterString", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Char>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.UniversalTagNumber,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadEncodedValue", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Formats.Asn1.Asn1Tag,System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadInt32", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadInt64", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.Int64,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadUInt32", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.UInt32,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnDecoder", "TryReadUInt64", "(System.ReadOnlySpan<System.Byte>,System.Formats.Asn1.AsnEncodingRules,System.UInt64,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "Clone", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "PeekContentBytes", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "PeekEncodedValue", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "PeekTag", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadBoolean", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadEncodedValue", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadEnumeratedBytes", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadEnumeratedValue", "(System.Type,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadEnumeratedValue<TEnum>", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadGeneralizedTime", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadInteger", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadIntegerBytes", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadNamedBitList", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadNamedBitListValue", "(System.Type,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadNamedBitListValue<TFlagsEnum>", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadNull", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadObjectIdentifier", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadSequence", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadSetOf", "(System.Boolean,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadSetOf", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadUtcTime", "(System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ReadUtcTime", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "ThrowIfNotEmpty", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadCharacterString", "(System.Span<System.Char>,System.Formats.Asn1.UniversalTagNumber,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadInt32", "(System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadInt64", "(System.Int64,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadPrimitiveBitString", "(System.Int32,System.ReadOnlyMemory<System.Byte>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadPrimitiveCharacterStringBytes", "(System.Formats.Asn1.Asn1Tag,System.ReadOnlyMemory<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadPrimitiveOctetString", "(System.ReadOnlyMemory<System.Byte>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadUInt32", "(System.UInt32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "TryReadUInt64", "(System.UInt64,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "get_HasData", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnReader", "get_RuleSet", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter+Scope", "Dispose", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "AsnWriter", "(System.Formats.Asn1.AsnEncodingRules)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "AsnWriter", "(System.Formats.Asn1.AsnEncodingRules,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "CopyTo", "(System.Formats.Asn1.AsnWriter)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "Encode", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "Encode", "(System.Span<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "EncodedValueEquals", "(System.Formats.Asn1.AsnWriter)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "EncodedValueEquals", "(System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "GetEncodedLength", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "PopOctetString", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "PopSequence", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "PopSetOf", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "Reset", "()", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "TryEncode", "(System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteBitString", "(System.ReadOnlySpan<System.Byte>,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteBoolean", "(System.Boolean,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteCharacterString", "(System.Formats.Asn1.UniversalTagNumber,System.ReadOnlySpan<System.Char>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteCharacterString", "(System.Formats.Asn1.UniversalTagNumber,System.String,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteEncodedValue", "(System.ReadOnlySpan<System.Byte>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteEnumeratedValue", "(System.Enum,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteEnumeratedValue<TEnum>", "(TEnum,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteGeneralizedTime", "(System.DateTimeOffset,System.Boolean,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteInteger", "(System.Int64,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteInteger", "(System.Numerics.BigInteger,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteInteger", "(System.ReadOnlySpan<System.Byte>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteInteger", "(System.UInt64,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteIntegerUnsigned", "(System.ReadOnlySpan<System.Byte>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteNamedBitList", "(System.Collections.BitArray,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteNamedBitList", "(System.Enum,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteNamedBitList<TEnum>", "(TEnum,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteNull", "(System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteObjectIdentifier", "(System.ReadOnlySpan<System.Char>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteObjectIdentifier", "(System.String,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteOctetString", "(System.ReadOnlySpan<System.Byte>,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteUtcTime", "(System.DateTimeOffset,System.Int32,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "WriteUtcTime", "(System.DateTimeOffset,System.Nullable<System.Formats.Asn1.Asn1Tag>)", "summary", "df-generated"]
      - ["System.Formats.Asn1", "AsnWriter", "get_RuleSet", "()", "summary", "df-generated"]
