Parameter Make._

val reduce : (L.t * R.t) -> L.t * R.t