Module VarUsage.Usage

module Usage: sig .. end

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