Module L.SafeSource

Sourcemodule B : sig ... end
Sourcetype ro = [
  1. | `Rd
]
Sourcetype wo = [
  1. | `Wr
]
Sourcetype ('a, 'i) t = private 'i constraint 'a = [< `Rd | `Wr ]
Sourceval rw : 'i B.t -> 'i -> ([ ro | wo ], 'i) t
Sourceval ro : 'i B.t -> 'i -> (ro, 'i) t
Sourceval wo : 'i B.t -> 'i -> (wo, 'i) t
Sourceval length : 'i B.t -> ('a, 'i) t -> int
Sourceval get : 'i B.t -> ([> ro ], 'i) t -> int -> char
Sourceval set : 'i B.t -> ([> wo ], 'i) t -> int -> char -> unit
Sourceval get_16 : 'i B.t -> ([> ro ], 'i) t -> int -> int
Sourceval get_32 : 'i B.t -> ([> ro ], 'i) t -> int -> int32
Sourceval get_64 : 'i B.t -> ([> ro ], 'i) t -> int -> int64
Sourceval sub_ro : 'i B.t -> ([> ro ], 'i) t -> int -> int -> (ro, 'i) t
Sourceval sub_rw : 'i B.t -> ([> ro ], 'i) t -> int -> int -> ([ ro | wo ], 'i) t
Sourceval fill : 'i B.t -> ([> wo ], 'i) t -> int -> int -> char -> unit
Sourceval blit : 'i B.t -> ([> ro ], 'i) t -> int -> ([> wo ], 'i) t -> int -> int -> unit
Sourceval blit2 : 'i B.t -> ([> ro ], 'i) t -> int -> ([> wo ], 'i) t -> int -> ([> wo ], 'i) t -> int -> int -> unit
Sourceval pp : 'i B.t -> Format.formatter -> ([> ro ], 'i) t -> unit
Sourceval to_string : 'i B.t -> ([> ro ], 'i) t -> string
Sourceval adler32 : 'i B.t -> ([> ro ], 'i) t -> int -> int -> Checkseum.Adler32.t -> Checkseum.Adler32.t
Sourceval unsafe : ('a, 'i) t -> 'i