get_holder

Description:

public unowned Holder get_holder (string holder_id)

Finds a Holder using its ID

this	a Set object
holder_id	the ID of the requested value holder

the requested Holder or null