Module mpstthree::checking [−][src]
This is supported on crate feature
checking
only.Expand description
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.