~/jendhub

def leaf_certified

bendtorch-core@0.1.0.0 · src/tensor/parallel.bend:93

import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel
import Base

93def leaf_certified(~S: Type, pair: F32 & S) -> Certified<S, 0n, leaf(~S, pair)>:
94  (value, state) = pair
95  Certified{leaf(~S, (value, state)), {==}, Unit{}}

Uses (6)

Used by (1)