Module Modulo_adder_subtractor_pipe.Input

type 'a t = {
lhs : 'a;
rhs_list : 'a Term_and_op.t list;
}