_:nb5685af39feb4d0b85773ffc8040c3a2xb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/compcert-kvx/-/graphs/c740492e7a5c14a524c31bbc769a07af2e2ac6be>