Home | History | Annotate | Download | only in include

Lines Matching full:precondition

1845     // Precondition:  __n >= 1