Module Evd.Identity

type t

Identity substitutions

val make : econstr list -> t
val none : unit -> t