Difference of parameters and dynamic states (Gauche Users’ Reference)

For Development HEAD DRAFTSearch (procedure/syntax/module):

The node you are looking for is at Difference of parameters and dynamic states.