361def deviceArenaSaturatingMultiply =
362 (lambda unrestricted a : Nat .
363 (lambda unrestricted b : Nat .
364 (let unrestricted room =
365 (naturalDivideUnchecked deviceArenaWordMaximum a)
366 in
367 (naturalMultiply a (naturalSelect (naturalLess room b) room b)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.