get_holder

Description:

public unowned Holder get_holder (string holder_id)

Finds a Holder using its ID

Parameters:

this

a Set object
holder_id

the ID of the requested value holder

Returns:

the requested Holder or null