InsertSignalChecks
==================

<:InsertSignalChecks:> is a pass for the <:RSSA:>
<:IntermediateLanguage:>, invoked from <:RSSASimplify:>.

== Description ==

This pass inserts signal checks.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/backend/limit-check.fun)>

== Details and Notes ==

{empty}