package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module implements the abstract interface to goals. Most of the code here is useless and should be eventually removed. Consider using Proofview.Goal instead.

type goal = Evar.t
val uid : goal -> string
val pr_goal : goal -> Pp.t
module V82 : sig ... end
module Set = Evar.Set