def dynamic_read_certificate

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

import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

import Base

462def dynamic_read_certificate(original: Dynamic, +index: U32) -> DynamicRead<original, index>:
463  dynamic_read_certificate_pair(original, index, read_dynamic(original, index), {==})

Uses (5)

Used by (2)