Type alias InferAllowedFromDelegations<T>

InferAllowedFromDelegations<T>: T extends [infer A]
    ? InferAllowedFromDelegation<A>
    : T extends [infer A, infer B]
        ? JoinAllows<InferAllowedFromDelegation<A>, InferAllowedFromDelegation<B>>
        : T extends [infer A, infer B, ...(infer Rest)]
            ? JoinAllows<InferAllowedFromDelegation<A>, InferAllowedFromDelegations<[B, ...Rest]>>
            : never

Utility type that infers set of capabilities delegated by one or more Delegations in UCAN 0.10 format.