XS Type Inference

There is no type inference for identifiers in XS, as the syntax is like C/C++ without the \({\tt auto}\) keyword.