Hi, do I understand correctly that {} is a synonim for the unit type? Basis.urs says type unit = {} - Gergely