Module Reagents_data.Make.Elimination_stack

module Elimination_stack: Elimination_stack.S  with type ('a,'b) reagent = ('a,'b) R.t