def Circuit.probes
import bend-kit-retry@0.3.0.0/retry.bend as Retryimport Base
80def Circuit.probes(c: Circuit) -> Nat:
81 Circuit{t, w, cd, p} = c
82 p
import bend-kit-retry@0.3.0.0/retry.bend as Retryimport Base
80def Circuit.probes(c: Circuit) -> Nat:
81 Circuit{t, w, cd, p} = c
82 p