Typespecs are mostly for static analysis. They describe the types of inputs and expected outputs.