例句與造句

1. 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.
2. It's difficult to find typechecking in a sentence. 用typechecking造句挺難的