(grow-buffer-size) ( target-size old-size -- new-size )


Vocabulary
gpu.buffers

Inputs and outputs
target-sizean object
old-sizean object
new-sizean object


Definition


: (grow-buffer-size) ( target-size old-size -- new-size )
[ 2dup > ] [ 2 * ] while nip ; inline