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.