-
David Bühler authored
Uses [memo] from State_builder.Option_ref. Also stores the maximum size of the allocated bases once for all, instead of calling [Bit_utils.max_bit_adddress] in various places.
7e48ec3a
Uses [memo] from State_builder.Option_ref. Also stores the maximum size of the allocated bases once for all, instead of calling [Bit_utils.max_bit_adddress] in various places.