X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Futils.mli;fp=src%2Futils.mli;h=2679dc9e74945f626aeb639db549c2d1e193c3ee;hb=1aedabd0caf7a0562a3f314dddd13d49e0165c92;hp=3c966f87b05c1a55112d59bbc0561b5b3215d174;hpb=4c608eef2274bc267d45d62550aafe2151514013;p=virt-top.git

diff --git a/src/utils.mli b/src/utils.mli
index 3c966f8..2679dc9 100644
--- a/src/utils.mli
+++ b/src/utils.mli
@@ -36,6 +36,12 @@ val read_config_file : string -> (int * string * string) list
 (* Pad or truncate a string to a fixed width. *)
 val pad : int -> string -> string
 
+(* Take up to n elements of xs, if available. *)
+val list_take : int -> 'a list -> 'a list
+
+(* Apply function f to [Some v], return default for [None] *)
+val map_default : ('a -> 'b) -> 'b -> 'a option -> 'b
+
 (* Int64 operators for convenience. *)
 val (+^) : int64 -> int64 -> int64
 val (-^) : int64 -> int64 -> int64