def-gdb-set-positive-number

def-gdb-set-positive-number is a Lisp macro in `gdb-mi.el'.

(def-gdb-set-positive-number NAME VARIABLE ECHO-STRING &optional DOC)

Define a function NAME which reads new VAR value from minibuffer.