Up
–
coq-core
»
Vernactypes
» OpaqueAccess
Module
Vernactypes.OpaqueAccess
type
_ t
=
|
Ignore
:
unit
t
|
Access
:
Global.indirect_accessor
t