The PRD's fleet design point: 200,000 roles with fan-out 64 need three
edge levels (64^2 < 200,000 <= 64^3). The root's 199,999 descendants split
into 63 subtrees of 3,125 and one of 3,124; no padding roles exist.
75def fleetHeight : (equal Nat (participantTreeHeight 64 200000) 3) =
76 (refl Nat 3)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.