Modulo_adder_subtractor_pipe.Single_op_output
Output from performing a single a `op1` b step.
a `op1` b
type 'a t = {
result : 'a;
carry : 'a;
}
val carry : 'a t -> 'a
val result : 'a t -> 'a
module Fields : sig ... end