KernelShape.supports_direct: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_shape.bend as KernelShape
Lines 40-43 of stelliferous@0.0.2.0/kernel_shape.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_shape.bend&start_line=40&end_line=43

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_shape.bend&name=Dimensions
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_shape.bend&name=direct_bounds
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/machine_limits.bend&name=Limits