ContractTypesContext
export type ContractTypesContext<T extends {[typeName: string]: CastLike<any, any>} = {[typeName: string]: CastLike<any, any>}> = {[K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>}
export type ContractTypesContext<T extends {[typeName: string]: CastLike<any, any>} = {[typeName: string]: CastLike<any, any>}> = {[K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>}