| Safe Haskell | None |
|---|
MAlonzo.Code.Agda.Builtin.Strict
Documentation
d_primForce_18 :: p1 -> p2 -> p3 -> p4 -> a -> (a -> b) -> b Source #
d_primForceLemma_34 :: a Source #
| Safe Haskell | None |
|---|
MAlonzo.Code.Agda.Builtin.Strict
d_primForce_18 :: p1 -> p2 -> p3 -> p4 -> a -> (a -> b) -> b Source #
d_primForceLemma_34 :: a Source #