X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fmemory.mli;fp=src%2Fmemory.mli;h=3531e532f9272c6b1bda50a503009c6d1e1c139b;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git diff --git a/src/memory.mli b/src/memory.mli new file mode 100644 index 0000000..3531e53 --- /dev/null +++ b/src/memory.mli @@ -0,0 +1,9 @@ +(******************************************************************************) +(* SXSI : XPath evaluator *) +(* Kim Nguyen (Kim.Nguyen@nicta.com.au) *) +(* Copyright NICTA 2008 *) +(* Distributed under the terms of the LGPL (see LICENCE) *) +(******************************************************************************) +val register : 'a -> string -> unit +val schedule_stats : unit -> unit +