/* Generated from Java with JSweet 2.3.7 - http://www.jsweet.org */
/**
 * @author eric.wittmann@gmail.com
 * @enum
 * @property {TraverserDirection} down
 * @property {TraverserDirection} up
 * @class
 */
export var TraverserDirection;
(function (TraverserDirection) {
    TraverserDirection[TraverserDirection["down"] = 0] = "down";
    TraverserDirection[TraverserDirection["up"] = 1] = "up";
})(TraverserDirection || (TraverserDirection = {}));
//# sourceMappingURL=TraverserDirection.js.map