Module RacerDDomain.OwnershipAbstractValue

type t = private
  1. | OwnedIf of IStdlib.IInt.Set.t
    (*

    Owned if the formals at the given indexes are owned in the caller; unconditionally owned if the set of formals is empty = bottom of the lattice

    *)
  2. | Unowned
    (*

    Unowned value; top of the lattice

    *)
val owned : t
val make_owned_if : int -> t