Home | History | Annotate | Download | only in include

Lines Matching full:precondition

1846     // Precondition:  __n >= 1