ExtensionTypeArgs

type ExtensionTypeArgs = ExtensionType;