type PE

bend-ml-tensor-fork@0.1.6.0 · main.bend:129

import Base

129type PE is Data:
130  PE{tk: Nat, tku: U32, ku: U32, lstep: U32, st: U32}