package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ssrmatching_plugin`Source

Sourcemodule G_ssrmatching : sig ... end

Sourcemodule Ssrmatching : sig ... end

******** Small Scale Reflection pattern matching facilities *************