_:n7d6bbf4d6aa44d7c9e2b4e095f6bd278xb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ListItem>
<https://gitlab.mpi-sws.org/tchajed/iris-coq/-/find_file/6562c4be742a7044e7e7e105e6d171cc3e0c3a96>