include module type of struct include Base.Blit end
type nonrec ('src, 'dst) blit = src:'src -> src_pos:int -> dst:'dst -> dst_pos:int -> len:int -> unit
type nonrec ('src, 'dst) blito = src:'src -> ?src_pos:int -> ?src_len:int -> dst:'dst -> ?dst_pos:int -> unit -> unit
module type S = Base__Blit_intf.S
module type S1 = Base__Blit_intf.S1
module type S_distinct = Base__Blit_intf.S_distinct
module type S_to_string = Base__Blit_intf.S_to_string
module type Sequence = Base__Blit_intf.Sequence
module type Sequence1 = Base__Blit_intf.Sequence1
module Make : functor (Sequence : sig ... end) -> S with type t := Sequence.t
Make
is for blitting between two values of the same monomorphic type.
module Make_distinct : functor (Src : Sequence) -> functor (Dst : sig ... end) -> S_distinct with type src := Src.t with type dst := Dst.t
Make_distinct
is for blitting between values of distinct monomorphic types.
module Make_to_string : functor (T : sig ... end) -> functor (To_bytes : S_distinct with type src := T.t with type dst := bytes) -> S_to_string with type t := T.t
Make1
is for blitting between two values of the same polymorphic type.
module Make1_generic : functor (Sequence : Sequence1) -> S1 with type 'a t := 'a Sequence.t
Make1_generic
is for blitting between two values of the same container type that's not fully polymorphic (in the sense of Container.Generic).
module type S_permissions = Core_kernel__Blit_intf.S_permissions
module type S1_permissions = Core_kernel__Blit_intf.S1_permissions