default_machine_limits.bend source

default_machine_limits.bend on the hub · documented module

# The original execution envelope, with every binary constraint checked here.import Baseimport ./machine_limits.bend as Machine# The capacity as a word, for run-time guards that need no other limit.def capacity() -> U32:  1073741824def limits() -> Machine.Limits:  Machine.Limits{65535,capacity(),2147483647,2147483648,    Machine.Facts{{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==},{==}}}