Enum encoding

• Comment déclarer qu'il faut du OH ou un autre encodage?

Suggestion (voir #96 (closed)):

# encoding(OneHot)
type my_enum_t
    | VARIANT_1 // 001
    | VARIANT_2 // 010
    | VARIANT_3 // 100

• Garantir du OH en regroupant des signaux quelconques?
• Conserver la relation OH en séparant les signaux?
• Opérateurs associés?
• Indexation OH?
• Faire que la synthèse profite de la garantie OH.