Rules like POOL do not really care about the current slot number, but instead they convert it into the current epoch number. In order to make it clearer and more efficient it would make more sense to convert the slot number to an epoch number in a top level rule like LEDGERS and pass it down through the environment.
Rules like
POOLdo not really care about the current slot number, but instead they convert it into the current epoch number. In order to make it clearer and more efficient it would make more sense to convert the slot number to an epoch number in a top level rule likeLEDGERSand pass it down through the environment.