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