Types ​

Types are usually automatically inferred and not explicitly needed. SmartPy types are all of the form sp.T<TypeName>.

Have a look at the Typing section.