Type alias InferAllowedFromCapabilities<T>

InferAllowedFromCapabilities<T>: T extends [infer A]
    ? InferAllowedFromCapability<A>
    : T extends [infer A, ...(infer Rest)]
        ? JoinAllows<InferAllowedFromCapability<A>, InferAllowedFromCapabilities<Rest>>
        : never

Utility type that infers set of capabilities in UCAN 0.10 format from a Capability tuple.