_:n13ae73e7faba48ea9df2c3b6de5b6840xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.mpi-sws.org/dkhalanskiyjb/iris/-/blob/50a1b62bfaaa3619621b33b0254865e66ecc4fc9/theories/algebra/cmra_big_op.v>