of

Map a live SolverSpec instance to its discriminator.