Module RacerDDomain.OwnershipDomain

type t
val empty : t
val add : AccessExpression.t -> OwnershipAbstractValue.t -> t -> t
val propagate_assignment : AccessExpression.t -> Absint.HilExp.t -> t -> t