sig
  val ( <|> ) :
    ('a, [> Perms.Export.read ]) Core_array.Permissioned.t ->
    int * int -> ('a, [< 'Perms.Export.perms ]) Core_array.Permissioned.t
end