Home | History | Annotate | Download | only in Sema

Lines Matching full:principle

2131 /// The principle of substitutability means that we may use an instance of A
2261 // the principle of substitutability. Specifically, we permit
2345 // violate the principle of substitutability. Specifically, the