Skip to main content

lte

Function lte 

Source
pub fn lte(left: impl Into<Term>, right: impl Into<Term>) -> Clause
Expand description

The predicate [(<= a b)].