For Gauche 0.9.15
Search (procedure/syntax/module):
The node you are looking for is at
Type expressions and type constructors
.