[Agda] What does "Set !=< {some type}" mean?

[David Banas]

Hi all,

Could someone help me understand what this Agda error means?

*Set !=< {some type}*


Thanks,
-db
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210115/47f4b2a3/attachment.html>