method Visitor.prototype.visitPatternsimport { Visitor } from "https://deno.land/x/lean@0.0.6/mod.ts"; visitPatterns(nodes: Pattern[]): Pattern[]Parametersnodes: Pattern[]ReturnsPattern[]