def frame.padded
import bend-kit-tar@0.3.0.0/tar.bend as Tarimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
441def frame.padded(outer: Bytes.CursorLimit, st: St, r: Bytes.Cursor & Bool) -> Bytes.Cursor & St:
442 (c, ok) = r
443 match ok:
444 case True{}:
445 (Bytes.Cursor.leave(c, outer), st)
446 case False{}:
447 (Bytes.Cursor.leave(c, outer), SFail{})