Parameter Make.2-Store

type t
type 'a io
type page_aligned_buffer
type error = [
| `Unknown of string
| `Unimplemented
| `Is_read_only
| `Disconnected
]
type pointer = Allocator.pointer
val bind : 'a io -> ('a -> 'b io) -> 'b io
val return : 'a -> 'a io
val read : t -> pointer -> page_aligned_buffer list -> [ `Error of error | `Ok of unit ] io
val write : t -> pointer -> page_aligned_buffer list -> [ `Error of error | `Ok of unit ] io