exe:SpecConstrExpl

Dependencies

• base lib:base >=4 && <5
• containers lib:containers >=0
• sequent-core lib:sequent-core >=0

Reverse dependencies

None.