Missed commit of the new Reference Manual page on the coinduction hook predicates