# Module type Blit_intf.S1_permissions

    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