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