switch check

check <something> switch

These switches turn on automatic checking of certain properties:

check coherency ~ check whether transitions and equations are coherent

check compatibility ~ see the check command

check import ~ check conflicting importing mode of submodules

check regularity ~ see the check command

check sensible ~ check whether a signature is sensible