package rocq-runtime

  1. Overview
  2. Docs

Module Tac2typing_env.TVarSource

Sourcetype t
Sourceval equal : t -> t -> bool
Sourcemodule Map : CSig.MapS with type key = t