MAll: isContractOf for PatternTest (easier contract checks for MTools) Gallery Tutorial [TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models. Section SECTION: The Webel MAll & MOptsSet classes MTools extensions (with SysMLv1 models) Slide kind SysML Block Definition Diagram (BDD)