Module Reductionops.ReductionBehaviour
Machinery to customize the behavior of the reduction
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