module type ALLOCATOR = sig ... endmodule type STORE = sig ... endmodule type S = sig ... endmodule Make : functor (Allocator : ALLOCATOR) -> functor (Store : STORE with type pointer = Allocator.pointer) -> functor (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