def same_of

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

import Base

32# 1 when a and b are the same label, 0 otherwise
33def same_of(s: Bool) -> Nat:
34  match s:
35    case True{}:
36      1n
37    case False{}:
38      0n

Uses (2)

Bool
Nat

Used by (1)

mlbend-metrics@0.1.0.0/main:same