find_clock_model: Finds a clock model with a certain ID
Description
Finds a clock model with a certain ID
Usage
find_clock_model(clock_models, id)
Value
the clock models with the desired ID, NULL if such a clock model is
absent
Arguments
- clock_models
a list of one or more clock models,
as returned by create_clock_model
- id
the ID of the clock model
Author
Richèl J.C. Bilderbeek