Module Abstract_interp.Bool

type t =
  1. | Top
  2. | True
  3. | False
  4. | Bottom