Type Alias ExtractContractOf<T, Kind>

ExtractContractOf: T extends IContractable<any, infer I, infer O>
    ? UnknownToNever<
        Kind extends "config"
            ? NonVoid<T[CONTRACT]["config"]>
            : Kind extends "input" ? NonVoid<I> : NonVoid<O>,
    >
    : never