module Make : Domain.s =
  struct


    type tv =
      | Bot
      | BTrue
      | BFalse
      | BTop
      | I of Z.t
      | ITop
      | Top

    type ts = tv VarMap.t

  end