An ordinary pair. The dependent pair is `sigma` in the core; this is the
non-dependent case, which is what most library code wants.
50constructor StdPairOfThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.