Module Concurrency__RacerDDomain.OwnershipDomain
val empty : t
val add : AccessExpression.t -> OwnershipAbstractValue.t -> t -> t
val get_owned : AccessExpression.t -> t -> OwnershipAbstractValue.t
val propagate_assignment : AccessExpression.t -> Absint.HilExp.t -> t -> t
val propagate_return : AccessExpression.t -> OwnershipAbstractValue.t -> Absint.HilExp.t list -> t -> t
val ownership_of_expr : Absint.HilExp.t -> t -> OwnershipAbstractValue.t