not sure why HB.mixin and some HB.instance get displayed in red but not all HB.structure (I would either display nothing in red or all of the commands in https://github.com/math-comp/hierarchy-builder/blob/master/structures.v with some link to that file in addition to the color
@proux01
affeldt-aist
commented
8 months ago
not sure why
HB.mixinand someHB.instanceget displayed in red but not allHB.structure(I would either display nothing in red or all of the commands in https://github.com/math-comp/hierarchy-builder/blob/master/structures.v with some link to that file in addition to the color @proux01