v0.1.0-pre.070

This commit is contained in:
2026-07-31 15:44:46 +02:00
parent 94181e4d5c
commit d6bd91c305
22 changed files with 1055 additions and 35 deletions

View File

@@ -27,7 +27,10 @@ Pour chaque API ou groupe cohérent :
- valeur retournée ;
- erreurs ;
- invariants ;
- exemple.
- exemple de construction ou configuration ;
- exemple de validation ;
- exemple dexécution ou dappel principal ;
- exemple dinterprétation du résultat lorsque pertinent.
## Types publics importants