| Safe Haskell | None |
|---|
MAlonzo.Code.Agda.Builtin.Equality
Documentation
d__'8801'__12 :: p1 -> p2 -> p3 -> p4 -> () Source #
data T__'8801'__12 Source #
Constructors
| C_refl_20 |
| Safe Haskell | None |
|---|
MAlonzo.Code.Agda.Builtin.Equality
d__'8801'__12 :: p1 -> p2 -> p3 -> p4 -> () Source #
data T__'8801'__12 Source #
Constructors
| C_refl_20 |