type NaturalCertificate
bendtorch-core@0.1.0.0 · src/tensor/elementwise.bend:611
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
611type NaturalCertificate<-operation: Operation, -plan: Shape.BroadcastPlan, -cursor: Nat, -original: State<Shape.output_shape(plan)>> is Type:
612 NaturalCertificate{result: NaturalStep<Shape.output_shape(plan), cursor>,
613 exact: {result == natural_step(operation, plan, cursor, original) : NaturalStep<Shape.output_shape(plan), cursor>},
614 -meaning: NaturalMeaning(operation, plan, cursor, original, result)}