7.4 Type expressions of the Inria manual shows that the “as” keyword can be used as part of a type expression. Initially I thought it might be used as some sort of alias for part of the type expression so it can be used in later part of expression. However all my attempts to use it are syntax error, and I can’t find any single example on google and grepping in core and a few other git repo only shows “as” usage in pattern matching.
Can anyone show an example of proper use of the “as” keyword in type expression? Thanks in advance.