---------------------------------------------------------------------------
The four rewrites
1370def sm121LowerOnly =
1371 (lambda unrestricted op : (family SM121LowerOp) .
1372 (constructor SM121LowerExpansion SM121LowerExpanded
1373 (constructor SM121LowerOps SM121LowerOpsNext op (constructor SM121LowerOps SM121LowerOpsEnd))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.