typechecking造句
例句与造句
- Predicate subtypes and dependent types can be used to introduce constraints; these constrained types may incur proof obligations ( called type-correctness conditions or TCCs ) during typechecking.
- It's difficult to find typechecking in a sentence. 用typechecking造句挺难的