// Package model defines core domain models of the push service.
package model