• :: double-colon type conversion