def Circuit.probes

bend-kit-retry@0.3.0.0 · retry.bend:80

import bend-kit-retry@0.3.0.0/retry.bend as Retry
import Base

80def Circuit.probes(c: Circuit) -> Nat:
81  Circuit{t, w, cd, p} = c
82  p

Uses (2)

Used by (1)