def SameSource
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as ElementwiseTotalityimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
44def SameSource(-original: Core.Dynamic, -retained: Core.Dynamic) -> Type:
45 @+property: Property -> {inspect(property, retained) == inspect(property, original) : Inspection}
Uses (4)
Used by (38)
- bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof:Taken
- bendtorch-core@0.1.0.0/src/tensor/elementwise_totality:Retention
- bendtorch-core@0.1.0.0/src/autograd/reduce_LAWS:Retained
- bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS:RefusalKeeps
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:StepSources
- …