module Usage:sig
..end
type
domain =
| |
Bot |
| |
Top |
| |
Value |
| |
RefValue |
| |
Array of |
| |
RefArray of |
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