ILP as module function, LE GE EQ MIN MAX as module constants