sig
  type domain =
      Bot
    | Top
    | Value
    | RefValue
    | Array of int list
    | RefArray of int list
  val _print : Format.formatter -> VarUsage.Usage.domain -> unit
  val pretty :
    name:string -> Format.formatter -> VarUsage.Usage.domain -> unit
  val of_value : VarUsage.Model.value -> VarUsage.Usage.domain
  val of_context : VarUsage.Context.delta list -> VarUsage.Usage.domain
  val merge :
    VarUsage.Usage.domain -> VarUsage.Usage.domain -> VarUsage.Usage.domain
  val leq : VarUsage.Usage.domain -> VarUsage.Usage.domain -> bool
  val call :
    VarUsage.Usage.domain ->
    VarUsage.Context.delta list -> VarUsage.Usage.domain
end