How to match the pattern of a function in Relay?

Check this out: https://tvm.apache.org/docs/langref/relay_pattern.html