Library examples.vertex_simple__opaque
From
examples
Require
Import
vertex_simple__code
.
#[
global
]
Opaque
vertex_simple
٠
main
.