package rocq-runtime

  1. Overview
  2. Docs

Module QGraph.ElimTableSource

Sourceval eliminates_to : Sorts.Quality.t -> Sorts.Quality.t -> bool