Up – Package index » rocq-runtime » Library rocq-runtime.pretyping » Reductionops » ReductionBehaviour » Db

Module `ReductionBehaviour.Db`Source

Sourcetype t

Sourceval get : unit -> t

Sourceval empty : t

Sourceval print : t -> Names.Constant.t -> Pp.t

Sourceval all_never_unfold : t -> Names.Cpred.t