Plasma GitLab Archive
Projects Blog Knowledge

Module Pkv_xdr_aux


module Pkv_xdr_aux: sig .. end

type page_type = Rtypes.int4 
type key = string 

type key_p = {
   mutable k : key;
   mutable p : int64;
}
type root_page = {
   mutable max_key_length : int;
   mutable max_key_number : int;
   mutable root_pointer : int64;
}
type int_page = {
   mutable int_min_p : int64;
   mutable int_keys : key_p array;
}
type leaf_page = {
   mutable prev_leaf_pointer : int64;
   mutable next_leaf_pointer : int64;
   mutable leaf_keys : key_p array;
}
type page = [ `int_page of int_page
| `leaf_page of leaf_page
| `root_page of root_page ]
val root_page : Rtypes.int4
val int_page : Rtypes.int4
val leaf_page : Rtypes.int4
val _to_page_type : Xdr.xdr_value -> page_type
val _of_page_type : page_type -> Xdr.xdr_value
val _to_key : Xdr.xdr_value -> key
val _of_key : key -> Xdr.xdr_value
val _to_key_p : Xdr.xdr_value -> key_p
val _of_key_p : key_p -> Xdr.xdr_value
val _to_root_page : Xdr.xdr_value -> root_page
val _of_root_page : root_page -> Xdr.xdr_value
val _to_int_page : Xdr.xdr_value -> int_page
val _of_int_page : int_page -> Xdr.xdr_value
val _to_leaf_page : Xdr.xdr_value -> leaf_page
val _of_leaf_page : leaf_page -> Xdr.xdr_value
val _to_page : Xdr.xdr_value -> page
val _of_page : page -> Xdr.xdr_value
val xdrt_page_type : Xdr.xdr_type_term
val xdrt_key : Xdr.xdr_type_term
val xdrt_key_p : Xdr.xdr_type_term
val xdrt_root_page : Xdr.xdr_type_term
val xdrt_int_page : Xdr.xdr_type_term
val xdrt_leaf_page : Xdr.xdr_type_term
val xdrt_page : Xdr.xdr_type_term
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml