type Facts

stelliferous@0.0.2.0 · machine_limits.bend:33

import Base

33type Facts<-d: U32,-c: U32,-k: U32,-h: U32> is Data:
34  Facts{
35    dimension_fits: {U32.is_le(d,2147483648) == True{} : Bool},
36    capacity_fits: {U32.is_le(c,2147483648) == True{} : Bool},
37    coordinate_fits: {U32.is_le(k,2147483648) == True{} : Bool},
38    half_word_fits: {U32.is_le(h,2147483648) == True{} : Bool},
39    dimension_allocatable: {U32.is_le(d,1073741824) == True{} : Bool},
40    capacity_allocatable: {U32.is_le(c,1073741824) == True{} : Bool},
41    dimension_below_half: {U32.is_lt(d,2147483648) == True{} : Bool},
42    capacity_below_half: {U32.is_lt(c,2147483648) == True{} : Bool},
43    dimension_within_capacity: {U32.is_le(d,c) == True{} : Bool},
44    dimension_within_coordinate: {U32.is_le(d,k) == True{} : Bool},
45    doubled_dimension_within_coordinate: {U32.is_le(U32.shl(d),k) == True{} : Bool},
46    capacity_doubles_to_half: {U32.shl(c) == h : U32},
47    seven_within_capacity: {U32.is_le(7,c) == True{} : Bool},
48    sixteen_within_half: {U32.is_le(16,h) == True{} : Bool},
49    capacity_within_half: {U32.is_le(c,h) == True{} : Bool}
50  }