Recherche:

Ahh... oui j'ai compris le raffinement, c'était seulement l'expression v1,v2 : P que je n'ai pas compris. Ok, c'est clair maintenant. :ccool:

Merci beaucoup!

Bonjour,

j'ai un problème avec la syntaxe de B dans un exemple de Atelier B (lien).

Dans la Machine fuel0 ils ont écrit pour l'operation "compute_initial_level":


estimated_level, status...