def pairs

mlbend-metrics@0.1.0.0 · main.bend:202

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

import Base

202# the number of pairs the two sequences hold, or why there is no answer
203def pairs(a, -A: Kind(a), ys: List<a, A>, ps: List<a, A>) -> Result<&1, &1, Bad, Nat>:
204  not_empty(same_len(List.length(a, A, ys), List.length(a, A, ps)))

Uses (7)

Used by (8)