intro_patterns.v 4.86 KB