module type S1_permissions = sig
.. end
type ('a, -'perms)
t
val blit : (('a, [> Perms.Export.read ]) t,
('a, [> Perms.Export.write ]) t)
Blit_intf.blit
val blito : (('a, [> Perms.Export.read ]) t,
('a, [> Perms.Export.write ]) t)
Blit_intf.blito
val unsafe_blit : (('a, [> Perms.Export.read ]) t,
('a, [> Perms.Export.write ]) t)
Blit_intf.blit
val sub : (('a, [> Perms.Export.read ]) t,
('a, [< 'b Perms.Export.perms ]) t)
Blit_intf.sub
val subo : (('a, [> Perms.Export.read ]) t,
('a, [< 'b Perms.Export.perms ]) t)
Blit_intf.subo