Type alias InferDeriveProofs<T>

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

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

Type Parameters

  • T

Settings

Member Visibility

Theme

Generated using TypeDoc