/** * @typedef {string} char - a single character */ /** * @typedef {number} integer - a positive number */