Module RacerDDomain.OwnershipAbstractValue
type t= private|OwnedIf of IStdlib.IntSet.tOwned 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
|UnownedUnowned value; top of the lattice