package coq-core

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

Module Ssreflect_plugin.SsrparserSource

Sourceval pr_ssrtacarg : Environ.env -> Evd.evar_map -> 'a -> 'b -> (Environ.env -> Evd.evar_map -> Constrexpr.entry_relative_level -> 'c) -> 'c
Sourceval pr_ssrtclarg : Environ.env -> Evd.evar_map -> 'a -> 'b -> (Environ.env -> Evd.evar_map -> Constrexpr.entry_relative_level -> 'c -> 'd) -> 'c -> 'd
Sourceval add_genarg : string -> (Environ.env -> Evd.evar_map -> 'a -> Pp.t) -> 'a Genarg.uniform_genarg_type
Sourcetype ssrfwdview = Ssrast.ast_closure_term list
Sourcetype ssripatrep = Ssrast.ssripat
Sourceval ssrbwdview : Ssrast.ssrterm list Pcoq.Entry.t
Sourceval test_not_ssrslashnum : unit Pcoq.Entry.t
Sourcetype ssreqid = Ssrast.ssripat option
Sourcemodule Internal : sig ... end
Sourceval wit_ssrstruct : Names.Id.t option Genarg.uniform_genarg_type
OCaml

Innovation. Community. Security.