依赖类型 meaning in Chinese
dependent type
Examples
- Type can be used as an epistemological tool to remedy the limitation of concept because in some circumstances it is more exoteric and realistic
弥补这一点须依赖类型这一认识工具，某些情况下，类型更开放、更接近现实。 - Set this flag when you want the type library exporter to look for dependent types in the registry rather than in the same directory as the input assembly
。如果要让类型库导出程序在注册表中而不是在与输入程序集相同的目录中查找依赖类型，则设置此标志。