La sintassi 'type X with .' è riservata agli aumenti. I tipi le cui rappresentazioni sono nascoste ma contenenti membri vengono ...

La sintassi 'type X with ...' è riservata agli aumenti. I tipi le cui rappresentazioni sono nascoste ma contenenti membri vengono ora dichiarati in firme mediante 'type X = ...'. Potrebbe essere inoltre necessario aggiungere l'attributo '[] alla definizione di tipo nella firma