Skip to content

Make `big_op{L,M}_gen_proper_2` stronger

The existing versions did not allow the two structures to be over different types.

Solves #262

Merge request reports