~/jendhub

type PrefixWords

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

import bendtorch-core@0.1.0.0/src/tensor/transform_PROOF.bend as TransformPROOF
import Base

752type PrefixWords<-cursor: Nat> is Data:
753  PrefixWords{-words: @+other: Nat -> @-earlier: {Nat.is_lt(other, cursor) == True{} : Bool} -> {U32.to_nat(U32.from_nat(other)) == other : Nat}}

Uses (5)

Used by (1)