partial void UpdateHOL(HOL instance);
partial void DeleteHOL(HOL instance);
partial void InsertHOL(HOL instance);