Up – Package index » coq-core » Library coq-core.kernel » Environ » QConstant

Module `Environ.QConstant`Source

Sourcetype t = Names.Constant.t

Sourceval equal : env -> t -> t -> bool

Sourceval compare : env -> t -> t -> int

Sourceval hash : env -> t -> int