{α : ℕ → ℕ → Type} →
  ({n m : ℕ} → α n m → ℕ → ℕ → ℚ) →
    ({n m : ℕ} → α n m → ℕ → ℕ → ℚ → α n m) →
      ({n m : ℕ} → α n m → List (ℕ × ℕ × ℚ)) →
        ({n m : ℕ} → List (ℕ × ℕ × ℚ) → α n m) →
          ({n m : ℕ} → α n m → ℕ → ℕ → α n m) →
            ({n m : ℕ} → α n m → ℕ → ℕ → ℚ → α n m) →
              ({n m : ℕ} → α n m → ℕ → ℚ → α n m) → Mathlib.Tactic.Linarith.SimplexAlgorithm.UsableInSimplexAlgorithm α