syntax HB.instance Definition := ...

[gares]

Fix #53

[gares]

@CohenCyril I prepared the code to parameters, hope it makes sense.

[gares]

BTW, I notice that one cannot declare a instance for Definition f T1 T2 := Build (T1 * T2) ....
It is only possible in a section (HB.builders context) where T1 and T2 are global.

[CohenCyril]

BTW, I notice that one cannot declare a instance for Definition f T1 T2 := Build (T1 * T2) ....
It is only possible in a section (HB.builders context) where T1 and T2 are global.

Yes I know, I hope we can handle that with parameters... (they should work both for the mixins and the carrier, we'll see)

[gares]

I need to also update the doc in Readme.md and changelog, then I think we can merge

[gares]

done