Expose all enum variants to OCaml#945

Nadrieril merged 1 commit intoAeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:expose-all-variantsNadrieril/charon:expose-all-variantsCopy head branch name to clipboard