ToDeriveProofs<T>: T extends [infer U, ...(infer E)] ? [ToDeriveClaim<U & ParsedCapability>, ...ToDeriveProofs<E>] : T extends never[] ? [] : never

Another helper type which is equivalent of ToDeriveClaim except it works on tuple of capabilities.

Type Parameters

  • T

Generated using TypeDoc