Module type_
leo_ast::types
Explicit type used for defining a variable or expression type
Returns the type of the inner array given an array element and array dimensions.