package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pr_ssrtacarg : Environ.env -> Evd.evar_map -> 'a -> 'b -> (Environ.env -> Evd.evar_map -> Constrexpr.entry_relative_level -> 'c) -> 'c
val pr_ssrtclarg : Environ.env -> Evd.evar_map -> 'a -> 'b -> (Environ.env -> Evd.evar_map -> Constrexpr.entry_relative_level -> 'c -> 'd) -> 'c -> 'd
val add_genarg : string -> (Environ.env -> Evd.evar_map -> 'a -> Pp.t) -> 'a Genarg.uniform_genarg_type
type ssrfwdview = Ssrast.ast_closure_term list
val ssrclauses : Ssrast.clauses Pcoq.Entry.t
val ssrintros_ne : Ssrast.ssripats Pcoq.Entry.t
type ssripatrep = Ssrast.ssripat
val ssrclear_ne : Ssrast.ssrhyps Pcoq.Entry.t
val ssrbwdview : Ssrast.ssrterm list Pcoq.Entry.t
val wit_ssrbwdview : Ssrast.ssrterm list Genarg.uniform_genarg_type
val ssrsimpl_ne : Ssrast.ssrsimpl Pcoq.Entry.t
val test_not_ssrslashnum : unit Pcoq.Entry.t
val ssrmult_ne : Ssrast.ssrmult Pcoq.Entry.t
val ast_closure_lterm : Ssrast.ast_closure_term Pcoq.Entry.t
type ssreqid = Ssrast.ssripat option
module Internal : sig ... end
val wit_ssrmult_ne : (int * Ssrast.ssrmmod) Genarg.uniform_genarg_type
val wit_ssrstruct : Names.Id.t option Genarg.uniform_genarg_type
OCaml

Innovation. Community. Security.