 The raising of the exception allows control to leapfrog directly over the entire chain of frames and avoid the associated computation.It has to be noted that the same optimization could have been obtained by using a tail recursion for this example.Standard ML has an advanced module system, allowing programs to be decomposed into hierarchically organized "structures" of logically related type and value declarations.