The node you are looking for is at Abstract solver type declarations.