Module Adder_subtractor_pipe.Term_and_op

type 'a t =
| Add of 'a
| Sub of 'a