Rappel sur la fermeture (close) des définitions

package test


#Test: {
  a: string
}

#TEST2: {
 #Test
 b: string
}

#TEST3: #Test & {
  b: string
}

Une structure est ouverte

On peut fermer une structure avec close

ouvert: {
  a: string
}

ferme: close({
  a: string
})

Une définition est fermée

Les préfixes # ou _# représente une définition qui est fermée

#Ferme: {
  a: string
}

#Ouvert: {
  a: string
  ...
}

On peut ouvrir une définition avec l’ellipse ...

Fermer une structure

#Ferme: {
  a: string
}

ferme: #Ferme & {
  a: "ok 🤘"
}

ouvert: {
  #Ferme
  b: string
}