Il 15 dicembre 2020 alle 15:45 Thomas Hallgren ha scritto: > These are examples of pattern bindings, but since they don't bind any variables, > they are not very useful. > […] Very instructive, many thanks