Module Pkv_xdr_aux

module Pkv_xdr_aux: sig .. end

type page_type = Netnumber.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 : Netnumber.int4

val int_page : Netnumber.int4

val leaf_page : Netnumber.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