def dynamic_read_certificate_pair

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

import Base

456def dynamic_read_certificate_pair(-original: Dynamic, -index: U32,
457  pair: Dynamic & Result<&2, &2, Error, F32>,
458  exact: {pair == read_dynamic(original, index) : Dynamic & Result<&2, &2, Error, F32>}) -> DynamicRead<original, index>:
459  (dynamic, result) = pair
460  DynamicRead{dynamic, result, exact}