Module Ltac2_plugin.Tac2core
Hardwired data
module Core : sig ... endval pf_apply : (Environ.env -> Evd.evar_map -> 'a Proofview.tactic) -> 'a Proofview.tactic
Ltac2_plugin.Tac2coremodule Core : sig ... endval pf_apply : (Environ.env -> Evd.evar_map -> 'a Proofview.tactic) -> 'a Proofview.tactic