LastBlockSize

The size of the final block.

LastBlockSize(partition)

Domain: Set partition statistics

Details

• Defined over `SetPartition` as an expression in `_x`, evaluated by compute-engine — the definition IS the implementation.
• Not yet typed over its carrier: `SetPartition` is a restricted growth string in @enumeratio/domains but a list of BLOCKS here, so the head still takes the bare blocks until the two representations are reconciled.

Examples