Module Vernactypes.OpaqueAccess

type _ t =
| Ignore : unit t
| Access : Global.indirect_accessor t