package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Firstorder_plugin.UnifySource

Sourcemodule Item : sig ... end
Sourcetype instance =
  1. | Real of Item.t * int
  2. | Phantom of EConstr.constr
Sourceval more_general : Environ.env -> Evd.evar_map -> Item.t -> Item.t -> bool