Make TIDs pure ghosts; inst. Iris with (exp, View).

coq/ra/adequacy.v

coq/ra/base/accessors.v

coq/ra/base/alloc.v

coq/ra/base/at_cas.v

coq/ra/base/at_fai.v

coq/ra/base/at_read.v

coq/ra/base/at_shared.v

coq/ra/base/at_write.v

coq/ra/base/dealloc.v

coq/ra/base/fork.v

coq/ra/base/ghosts.v

coq/ra/base/helpers.v

coq/ra/base/na_read.v

coq/ra/base/na_shared.v

coq/ra/base/na_write.v

coq/ra/examples/message_passing.v

coq/ra/examples/message_passing_base.v

coq/ra/examples/repeat.v

coq/ra/gps/cas.v

coq/ra/gps/fai.v