Skip to content

GitLab

Make `big_op{L,M}_gen_proper_2` stronger

Merged Dmitry Khalanskiy requested to merge dkhalanskiyjb/iris:stronger_gen_proper_2 into master

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

Solves #262