package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debug_print_constr : EConstr.constr -> Pp.t
val debug_print_constr_env : Environ.env -> Evd.evar_map -> EConstr.constr -> Pp.t
val print_constr_env : Environ.env -> Evd.evar_map -> EConstr.constr -> Pp.t
val set_print_constr : (Environ.env -> Evd.evar_map -> EConstr.constr -> Pp.t) -> unit
val print_named_context : Environ.env -> Pp.t
val pr_rel_decl : Environ.env -> Constr.rel_declaration -> Pp.t
val print_rel_context : Environ.env -> Pp.t
val print_env : Environ.env -> Pp.t