.TH Lte .PP Less than or equal to .SH Signature .PP .RS .nf lte(left: Alpha|AttrName, right: Alpha|AttrName) \-> Predicate .fi .RE .SH Examples .PP .RS .nf lte(:status, 20) .fi .RE .PP .RS .nf lte(:status, 30) .fi .RE .SH Description .PP This predicates checks whether a value (\fB\fCleft\fR) is less than or equal to another one (\fB\fCright\fR). .SH Implementation notes .PP This predicate is equivalent to \fB\fC\->(t){ _left_ <= _right_ }\fR\&.