ReductionBehaviour.Db
type t
val get : unit -> t
val empty : t
val print : t -> Names.Constant.t -> Pp.t
val all_never_unfold : t -> Names.Cpred.t