Module Modulo_adder_subtractor_pipe.Term_and_op

type 'a t = {
op : [ `Add | `Sub ];
term : 'a;
}