Module Vernactypes.OpaqueAccess

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