intro_patterns.v 6.96 KB