Safe Haskell | None |
---|---|
Language | GHC2024 |
Generates Spec with total number of tables =
(2 * (2 ^ fl - 1) - 2 ^ (fl - 1)) * trees
fl is fork_levels.
Example for fork_levels 3 and trees = 2:
@
_1 _2
_1a _1b _2a _2b
_1aa _1ab _1ba _1bb _2aa _2ab _2ba _2bb
r_1a r_1b r_2a r_2b
r_1 r_2
@
For fl = 13 and 1 tree = 12k tables For fl = 15 and 1 tree = 48k tables