Up – coq-core » Micromega_plugin » Polynomial » ProofFormat » Env

Module `ProofFormat.Env`

type t

val make : int -> t