La sintaxis 'type X with .' está reservada para aumentos. Los tipos cuyas representaciones están ocultas pero que tienen ...

La sintaxis 'type X with ...' está reservada para aumentos. Los tipos cuyas representaciones están ocultas pero que tienen miembros se declaran ahora en signaturas con 'type X = ...'. También puede ser necesario agregar el atributo '[] a la declaración de tipos en la signatura.