module Occur:sig
..end
type
t = {
|
mutable valid : |
|
mutable value : |
|
mutable param : |
|
mutable calls : |
val empty : unit -> t
val merge_with : VarUsage.Usage.domain -> VarUsage.Context.delta list -> VarUsage.Usage.domain
val update : t ->
bool -> VarUsage.Context.target -> VarUsage.Context.delta list -> unit
val propagate : bool Pervasives.ref ->
t -> (VarUsage.Root.t -> VarUsage.Usage.domain) -> unit