package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Trace : sig ... end

type lazy_msg = unit -> Pp.std_ppcmds

module Info : sig ... end

type proofview = {

solution : Evd.evar_map;
comb : Evar.t list;
shelf : Evar.t list;

}

module P : sig ... end

module Logical : sig ... end

module type State = sig ... end

module type Writer = sig ... end

module Pv : sig ... end

module Solution : sig ... end

module Comb : sig ... end

module Env : sig ... end

module Status : sig ... end

module Shelf : sig ... end

module Giveup : sig ... end

module InfoL : sig ... end