Plasma GitLab Archive
Projects Blog Knowledge

sig
  type page_type = Rtypes.int4
  and key = string
  and key_p = { mutable k : Pkv_xdr_aux.key; mutable p : int64; }
  and root_page = {
    mutable max_key_length : int;
    mutable max_key_number : int;
    mutable root_pointer : int64;
  }
  and int_page = {
    mutable int_min_p : int64;
    mutable int_keys : Pkv_xdr_aux.key_p array;
  }
  and leaf_page = {
    mutable prev_leaf_pointer : int64;
    mutable next_leaf_pointer : int64;
    mutable leaf_keys : Pkv_xdr_aux.key_p array;
  }
  and page =
      [ `int_page of Pkv_xdr_aux.int_page
      | `leaf_page of Pkv_xdr_aux.leaf_page
      | `root_page of Pkv_xdr_aux.root_page ]
  val root_page : Rtypes.int4
  val int_page : Rtypes.int4
  val leaf_page : Rtypes.int4
  val _to_page_type : Xdr.xdr_value -> Pkv_xdr_aux.page_type
  val _of_page_type : Pkv_xdr_aux.page_type -> Xdr.xdr_value
  val _to_key : Xdr.xdr_value -> Pkv_xdr_aux.key
  val _of_key : Pkv_xdr_aux.key -> Xdr.xdr_value
  val _to_key_p : Xdr.xdr_value -> Pkv_xdr_aux.key_p
  val _of_key_p : Pkv_xdr_aux.key_p -> Xdr.xdr_value
  val _to_root_page : Xdr.xdr_value -> Pkv_xdr_aux.root_page
  val _of_root_page : Pkv_xdr_aux.root_page -> Xdr.xdr_value
  val _to_int_page : Xdr.xdr_value -> Pkv_xdr_aux.int_page
  val _of_int_page : Pkv_xdr_aux.int_page -> Xdr.xdr_value
  val _to_leaf_page : Xdr.xdr_value -> Pkv_xdr_aux.leaf_page
  val _of_leaf_page : Pkv_xdr_aux.leaf_page -> Xdr.xdr_value
  val _to_page : Xdr.xdr_value -> Pkv_xdr_aux.page
  val _of_page : Pkv_xdr_aux.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
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml