Powerset domain on the formal indexes in OwnedIf with a distinguished bottom element (Owned) and top element (Unowned)

`type astate````= private`

`|` `Owned` | (** Owned value; bottom of the lattice *)
`|` `OwnedIf of InferStdlib.IntSet.t` | (** Owned if the formals at the given indexes are owned in the caller *)
`|` `Unowned` | (** Unowned value; top of the lattice *)

``
`include sig ... end`
`val compare_astate : astate ‑> astate ‑> int`
`val owned : astate`
`val unowned : astate`
`val make_owned_if : int ‑> astate`
`include InferModules.AbstractDomain.S with type astate := astate`
`type astate`````
`val (<=) : lhs:astate ‑> rhs:astate ‑> bool`

the partial order induced by join

`val join : astate ‑> astate ‑> astate`
`val widen : prev:astate ‑> next:astate ‑> num_iters:int ‑> astate`
`val pp : InferModules.AbstractDomain.F.formatter ‑> astate ‑> unit`