(library
 (name gramlib)
 (public_name rocq-runtime.gramlib)
 (modules_without_implementation plexing)
 (libraries rocq-runtime.lib))
