module Make1:functor (
Sequence
:
sig
type
'a
tMake1
guarantees to only callcreate_like ~len t
withlen > 0
iflength t > 0
.
val create_like :len:int -> 'a t -> 'a t
val length :'a t -> int
val unsafe_blit :('a t, 'a t) Blit_intf.blit
type
'a
zval create_bool :len:int -> bool z t
val get :'a z t -> int -> 'a
val set :'a z t -> int -> 'a -> unit
val sexp_of_t :('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
Make1
guarantees to only callcreate_like ~len t
withlen > 0
iflength t > 0
.
end
) ->
S1
with type 'a t := 'a Sequence.t
Make1
is for blitting between two values of the same polymorphic type.Parameters: |
|
type 'a
t
val blit : ('a t, 'a t) Blit_intf.blit
val blito : ('a t, 'a t) Blit_intf.blito
val unsafe_blit : ('a t, 'a t) Blit_intf.blit
val sub : ('a t, 'a t) Blit_intf.sub
val subo : ('a t, 'a t) Blit_intf.subo