-record(model, { x :: float(), y :: float(), animations :: lustre@animation:animations() }).