package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `GenConstr.Register`Source

Parameters

module M : sig ... end

Signature

Sourceval register : ('raw, 'glb) tag -> ('raw, 'glb) M.t -> unit

Sourceval mem : (_, _) tag -> bool

Sourceval find_opt : ('raw, 'glb) tag -> ('raw, 'glb) M.t option

Sourceval get : ('raw, 'glb) tag -> ('raw, 'glb) M.t

Assert false if not present