The node you are looking for is at Predicate and function type declarations.