Up
–
coq-core
» Goal
Module
Goal
Don't use this module.
type
goal
=
Evar.t