Module mpstthree::functionmpst::recursion

This module contains all the macros that are used for recursion

Modules

choose

This module contains the choose macros for recursion for roles A, B and C. They all accept the current session and the different branches.

offer

This module contains the offer macros for recursion for roles A, B and C. They all accept the current session and the different branches the block of code that follows each branch.