X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fbp.mli;fp=src%2Fbp.mli;h=705349335f61396827944d2dd994912e4176db2f;hb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;hp=0000000000000000000000000000000000000000;hpb=ae5b9f9b96a702ae8a8f61a31e5aa012283ce185;p=SXSI%2Fxpathcomp.git

diff --git a/src/bp.mli b/src/bp.mli
new file mode 100644
index 0000000..7053493
--- /dev/null
+++ b/src/bp.mli
@@ -0,0 +1,15 @@
+type bitmap
+
+val bitmap_create : unit -> bitmap
+val bitmap_push_back : bitmap -> int -> unit
+
+
+type t
+
+val create : bitmap -> t
+external save : t -> Unix.file_descr -> unit = "caml_bp_save"
+external load : Unix.file_descr -> t = "caml_bp_load"
+external first_child : t -> int -> int = "caml_bp_first_child" "noalloc"
+external next_sibling : t -> int -> int = "caml_bp_next_sibling" "noalloc"
+external preorder_rank : t -> int -> int = "caml_bp_preorder_rank" "noalloc"
+