| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Strict
Documentation
d_force'8242'_14 ∷ T_Level_18 → T_Level_18 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
du_force'8242'_14 ∷ T_Level_18 → T_Level_18 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_force'8242''45''8801'_20 ∷ T_Level_18 → T_Level_18 → () → () → AgdaAny → (AgdaAny → AgdaAny) → T__'8801'__12 Source #
d_seq_22 ∷ T_Level_18 → T_Level_18 → () → () → AgdaAny → AgdaAny → AgdaAny Source #
d_seq'45''8801'_34 ∷ T_Level_18 → T_Level_18 → () → () → AgdaAny → AgdaAny → T__'8801'__12 Source #