type Movement

stelliferous@0.0.2.0 · kernel_planning.bend:27

import Base

27# critical_ns is the span (the costliest root-to-leaf path) and work_ns the sum
28# over every leaf and fork; together they bound time on a given worker count.
29type Movement is Data:
30  Movement{packed: Nat,leaves: Nat,copies: Nat,critical_ns: F32,work_ns: F32,minimum_leaf_ns: F32}