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