It’s a method that enables pattern matching on distiguish types.

on: entire `AR_` entire `M` target `S` target

You can find a perfect showcase here.