Module Reductionops.ReductionBehaviour

Machinery to customize the behavior of the reduction

type flag = [
| `ReductionDontExposeCase
| `ReductionNeverUnfold
]
val set : bool -> Names.GlobRef.t -> (int list * int * flag list) -> unit

set is_local ref (recargs, nargs, flags)

val get : Names.GlobRef.t -> (int list * int * flag list) option
val print : Names.GlobRef.t -> Pp.t