Function lte

src/front/datalog/term.rs:245–252 · view source on GitHub ↗

Operator <=

(s: &T, t: &T)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

bin_exprMethod · 0.85

intoMethod · 0.45

cloneMethod · 0.45

no test coverage detected