1375def sm121LowerPair =
1376 (lambda unrestricted first : (family SM121LowerOp) .
1377 (lambda unrestricted second : (family SM121LowerOp) .
1378 (constructor SM121LowerExpansion SM121LowerExpanded
1379 (constructor SM121LowerOps SM121LowerOpsNext first
1380 (constructor SM121LowerOps SM121LowerOpsNext second (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.