package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val clenv_refine : Misctypes.evars_flag -> ?with_classes:bool -> Clenv.clausenv -> unit Proofview.tactic
val res_pf : ?with_evars:Misctypes.evars_flag -> ?with_classes:bool -> ?flags:Unification.unify_flags -> Clenv.clausenv -> unit Proofview.tactic
val clenv_pose_dependent_evars : Misctypes.evars_flag -> Clenv.clausenv -> Clenv.clausenv
val clenv_value_cast_meta : Clenv.clausenv -> EConstr.constr
OCaml

Innovation. Community. Security.