Method isInt

source/python.js:13350–13352

()

                return this.value;
            }
            isInt() {
                return this.tag === 'Int';
            }
            toInt() {
                if (this.isInt()) {
                    return this.value;