Up – rocq-runtime » Micromega_plugin » Polynomial » ProofFormat » Env

Module `ProofFormat.Env`

type t

val make : int -> t