Reductionops.ReductionBehaviour
Machinery to customize the behavior of the reduction
val set : local:bool -> Names.Constant.t -> t -> unit
val get : Names.Constant.t -> t option
val all_never_unfold : unit -> Names.Cpred.t
val print : Names.Constant.t -> Pp.t