Hi,
do I understand correctly that {} is a synonim for the unit type? Basis.urs says
type unit = {}
- Gergely
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
