Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_CostingNat_4 ∷ () Source #
d_StepKind_6 ∷ () Source #
data T_StepKind_6 Source #
d_ExBudgetCategory_34 ∷ () Source #
data T_ExBudgetCategory_34 Source #
d_MachineParameters_46 ∷ p → () Source #
d_startupCost_66 ∷ () → T_MachineParameters_46 → AgdaAny Source #