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 = {

}
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

Plasma	GitLab	Archive
Projects	Blog	Knowledge