Inductive bit : Set :=
  | B0
  | B1.
