Module mpstthree::checking

Available on crate feature checking only.

This module contains the macros and the functions for checking whether a protocol is well written or not, according to a bottom-up method.

This module is available only if MultiCrusty is built with the "checking" feature.