public Holderprice_details(Holderprice_details other)
{
have_data = other.haveData();
data = other.referenced();
if (have_data)
{
}
}
protected override void handle_result(Typeprice_details result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = new Holderprice_details(result);
}
