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