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