Bibliothèque OCaml permettant la programmation concurrente en décrivant les comportements causaux des programmes. Elle offre une interface modulaire et haut niveau pour décrire les semantiques causales de langages de programmation, tout en conservant une saveur opérationnelle. Elle supporte les calculs concurrents et non déterministes, et propose plusieurs implémentations des opérations monadiques qui exécutent le programme de manière séquentielle et déterministe, en retournant tous les comportements possibles.