Safe Haskell | None |
---|
MAlonzo.Code.Agda.Builtin.Unit
Documentation
d_'8868'_6 :: () Source #
type T_'8868'_6 = () Source #
cover_'8868'_6 :: () -> () Source #
Safe Haskell | None |
---|
MAlonzo.Code.Agda.Builtin.Unit
d_'8868'_6 :: () Source #
type T_'8868'_6 = () Source #
cover_'8868'_6 :: () -> () Source #