def supports_direct

stelliferous@0.0.2.0 · kernel_shape.bend:40

import Base
import stelliferous@0.0.2.0/machine_limits.bend as Machine

40# Never duplicate the Limits owner: its Facts field depends on its values.
41def supports_direct(limits: Machine.Limits,shape: Dimensions,input_length: Nat,weight_length: Nat) -> Bool:
42  Machine.Limits{dimension,capacity,coordinate,half_word,facts} = limits
43  direct_bounds(dimension,capacity,coordinate,shape,input_length,weight_length)