Le module assert_functions fournit des assertions pour les tests unitaires, les contrats d'execution et les diagnostics.

Toutes les assertions partagent le meme contrat : sans sortie elles levent une erreur en cas d'echec ; avec sorties elles retournent [res, msg].

L'API canonique utilise des noms d'assertion qualifies, par exemple asserts.isequal, asserts.warning et asserts.satisfies.