From a2df859a36571952407e4eff9525cc9bb8a5ad6e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 29 Sep 2013 17:22:07 +0200 Subject: [PATCH] put back helpers in Bij that were removed by mistake --- bij.mli | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bij.mli b/bij.mli index 55144947..0492290d 100644 --- a/bij.mli +++ b/bij.mli @@ -69,6 +69,10 @@ val with_version : string -> 'a t -> 'a t (** Guards the values with a given version. Only values encoded with the same version will fit. *) +val array_ : 'a t -> 'a array t + +val hashtbl : 'a t -> 'b t -> ('a, 'b) Hashtbl.t t + (** {2 Exceptions} *) exception EncodingError of string