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