module. Scheme工程核验模块[mce-checks-module]

Outputs: lp-example/mce/checks.scm

Checks: Scheme工程的11项值与5项异常核验

Imports: (lp-example mce entry) (run)

Exports: (run-checks)

Initialization order: 片段按下列清单建立；函数体依赖可以相互引用。