~/jendhub

def same

mlbend-metrics@0.1.0.0 · main.bend:40

import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics
import Base

40def same(a: Nat, b: Nat) -> Nat:
41  same_of(Nat.is_eq(a, b))

Uses (3)

Used by (5)