_:n6d0345bbf64f4c3bb6a23a8f2ef140ddxb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.mpi-sws.org/pythonsq/iris-coq/-/blame/8c96ad4e7e90e599ef318048935faf23f94dfe4b/heap_lang/tests.v?page=1>