package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `PolyMap`Source

Sourcemodule type ValueS = sig ... end

Polymorphic maps over an extensible GADT tag type.

Sourcemodule type Tag = sig ... end

Sourcemodule Make (Tag : Tag) : sig ... end