method Visitor.prototype.visitTsTypesimport { Visitor } from "https://deno.land/x/lean@0.0.6/lib/deps.ts"; visitTsTypes(nodes: TsType[]): TsType[]Parametersnodes: TsType[]ReturnsTsType[]