X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;h=c63db29b01e25c1adbd3c83d05587db34f40079a;hb=5a456c968ee7e7bbe477ae4e756967c4aa2e3fc1;hp=8edfaae7ed113e22ed2c775da491a1aa6691f43d;hpb=77f9b77c4f58dc4f149050e1d4a0ee36f91d8493;p=goals.git

diff --git a/src/utils.mli b/src/utils.mli
index 8edfaae..c63db29 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -17,6 +17,9 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
+val nprocs : unit -> int
+(** Return the number of processors on the system. *)
+
 val failwithf : ('a, unit, string, 'b) format4 -> 'a
 (** Like [failwith] but supports printf-like arguments. *)
 
@@ -26,6 +29,9 @@ val (//) : string -> string -> string
 val is_directory : string -> bool
 (** Return true iff parameter is a directory. *)
 
+val unique : unit -> int
+(** Returns a unique number each time called. *)
+
 val filter_map : ('a -> 'b option) -> 'a list -> 'b list
 (** [filter_map f l] applies [f] to every element of [l], filters
     out the [None] elements and returns the list of the arguments of