# Module type Blit_intf.S_permissions

    module type S_permissions = sig .. end

    type -'perms t

    val blit : ([> Perms.Export.read ] t,
            [> Perms.Export.write ] t)
           Blit_intf.blit

    val blito : ([> Perms.Export.read ] t,
            [> Perms.Export.write ] t)
           Blit_intf.blito

    val unsafe_blit : ([> Perms.Export.read ] t,
            [> Perms.Export.write ] t)
           Blit_intf.blit

    val sub : ([> Perms.Export.read ] t,
            [< 'a Perms.Export.perms ] t)
           Blit_intf.sub

    val subo : ([> Perms.Export.read ] t,
            [< 'a Perms.Export.perms ] t)
           Blit_intf.subo