partial void DeleteHistory_buy(History_buy instance);
partial void UpdateHistory_buy(History_buy instance);
partial void InsertHistory_buy(History_buy instance);