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