::definition