eaconstruct.n and easolve.n

EaConstruct.construct: Absyn.topdec -> CfaUtils.basis -> EaUtils.basis constructs exception flow equations for a given absyn program. And EaSolve.solve: unit -> EaSet.set array * int solves the constructed equations. These files implement the exception analysis rules in Figure 2 ([1,2]).

  

Figure 2: Exception Analysis Rules