package mirage-btrees
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type ALLOCATOR = sig ... endmodule type STORE = sig ... endmodule type S = sig ... endmodule Make
(Allocator : ALLOCATOR)
(Store : STORE with type pointer = Allocator.pointer)
(Node :
Node.NODE
with type t = Store.page_aligned_buffer
and type pointer = Allocator.pointer) :
S
with type pointer = Allocator.pointer
and type allocator = Allocator.t
and type store = Store.t
and type error = Store.error
and type 'a io = 'a Store.io
and type node = Node.t
and type key = Node.key
and type value = Node.value