Module Flow.Info

type t
val def : t -> Code.Var.t -> Code.expr option
val update_def : t -> Code.Var.t -> Code.expr -> unit
val possibly_mutable : t -> Code.Var.t -> bool