Up
–
Index
»
rocq-runtime
» Canonical
Module
Canonical
val
declare_canonical_structure :
?local
:bool
->
Names.GlobRef.t
->
unit