Standard librarybuiltinanytypeOn this pagemoduleanytypeDefines the AnyType trait.These are Mojo built-ins, so you don't need to import them.TraitsAnyType: The AnyType trait describes a type that has a destructor.