MachineLimits.Facts: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/machine_limits.bend as MachineLimits
Lines 33-50 of stelliferous@0.0.2.0/machine_limits.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/machine_limits.bend&start_line=33&end_line=50

import Base

type Facts<-d: U32,-c: U32,-k: U32,-h: U32> is Data:
  Facts{
    dimension_fits: {U32.is_le(d,2147483648) == True{} : Bool},
    capacity_fits: {U32.is_le(c,2147483648) == True{} : Bool},
    coordinate_fits: {U32.is_le(k,2147483648) == True{} : Bool},
    half_word_fits: {U32.is_le(h,2147483648) == True{} : Bool},
    dimension_allocatable: {U32.is_le(d,1073741824) == True{} : Bool},
    capacity_allocatable: {U32.is_le(c,1073741824) == True{} : Bool},
    dimension_below_half: {U32.is_lt(d,2147483648) == True{} : Bool},
    capacity_below_half: {U32.is_lt(c,2147483648) == True{} : Bool},
    dimension_within_capacity: {U32.is_le(d,c) == True{} : Bool},
    dimension_within_coordinate: {U32.is_le(d,k) == True{} : Bool},
    doubled_dimension_within_coordinate: {U32.is_le(U32.shl(d),k) == True{} : Bool},
    capacity_doubles_to_half: {U32.shl(c) == h : U32},
    seven_within_capacity: {U32.is_le(7,c) == True{} : Bool},
    sixteen_within_half: {U32.is_le(16,h) == True{} : Bool},
    capacity_within_half: {U32.is_le(c,h) == True{} : Bool}
  }

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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shl