Writable Range over [lo, hi]. Each endpoint is a literal (new cell) or existing writable (passed through); for read-only sources use Range.derive. Lock an endpoint with Num.pin.
Range
[lo, hi]
Range.derive
Num.pin
Writable
Rangeover[lo, hi]. Each endpoint is a literal (new cell) or existing writable (passed through); for read-only sources useRange.derive. Lock an endpoint withNum.pin.