Module Ssreflect_plugin.Ssrparser

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
type ssreqid = Ssrast.ssripat option