*/ function none(): Option { return Option::none(); }