Mixins arguments scope should be settable #117
Description
e.g.
HB.mixin Record bla (T : Type) := ....
HB.arguments bla T%scope
Check (bla (_ * _)).{{ message }}
e.g.
HB.mixin Record bla (T : Type) := ....
HB.arguments bla T%scope
Check (bla (_ * _)).