updateWebPage#7f891213 webpage:WebPage pts:int pts_count:int = Update;
t :: %TL.UpdateWebPage{pts: integer, pts_count: integer, webpage: WebPage.t}