见 后置条件(postcondition)42. 强类型(powertype)（类元的构造型）一个构造型类元，它表示该类元是一个元类，该元类的实例是别的类的子类。
基于54个网页-相关网页
... 42.强类型(powertype) 见 强类型(powertype) 43.前置条件(precondition) ...
基于20个网页-相关网页
... 见强类型(powertype) 43.前置条件(precondition) 见前置条件(precondition) ...
基于12个网页-相关网页