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