X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=goaljobs.mli;h=7374f546e021637d8ce8b0302f8da2dcd3825cd9;hb=3acfed6261fc1ec02e370183ac2f76c095ad0cdf;hp=43432f162a45c319a474574adc2256bcf02ce36e;hpb=c233ce39dd4be632238faba62e93ff4b9a48766e;p=goaljobs.git

diff --git a/goaljobs.mli b/goaljobs.mli
index 43432f1..7374f54 100644
--- a/goaljobs.mli
+++ b/goaljobs.mli
@@ -265,6 +265,9 @@ val memory_get : string -> string option
 val memory_delete : string -> unit
   (** Delete the [key].  If the key doesn't exist, has no effect. *)
 
+val memory_list : unit -> (string * string) list
+  (** Return all [(key, value)] pairs in the memory. *)
+
 (** {2 Publishing goals} *)
 
 val publish : string -> (string list -> unit) -> unit