test:successors

Dependencies

• base lib:base >=4.9 && <4.11
• ghc-proofs lib:ghc-proofs >=0

Reverse dependencies

None.