ci: coverage > beauty

aya-prover · Jan 9, 2025 · 58ec58d · 58ec58d
1 parent c1c3847
commit 58ec58d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/Param.java b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
@@ -22,10 +22,6 @@ public record Param(@NotNull String name, @NotNull Term type, boolean explicit)
     return tele.mapIndexed((idx, p) -> p.descent(ty -> ty.instTeleFrom(idx, subst)));
   }
 
-  public static @NotNull SeqView<Param> bindTele(@NotNull SeqView<Param> tele, @NotNull SeqView<LocalVar> vars) {
-    return tele.mapIndexed((idx, p) -> p.descent(t -> t.bindTele(idx, vars)));
-  }
-
   public boolean nameEq(@Nullable String otherName) { return name.equals(otherName); }
   // public @NotNull Arg<Term> toArg() { return new Arg<>(type, explicit); }
   public @NotNull Pat toFreshPat() { return new Pat.Bind(LocalVar.generate(name), type); }