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