Skip to main content

eq

Function eq 

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

The predicate [(= a b)].