EnvironmentStructsV0🍃 Bits.v🍃 Bits.vEnvironmentGitlab Require Import CoqOfOCaml.CoqOfOCaml. Require Import CoqOfOCaml.Settings. Parameter numbits : int → int.