Commit fcf5f457 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Memoize.Make: MINIMAL_IMPERATIVE_MAPS suffices.

parent b2dc4e89
......@@ -26,7 +26,7 @@ let rec rev_take accu n xs =
| _, x :: xs ->
rev_take (x :: accu) (n - 1) xs
module Make (M : IMPERATIVE_MAPS) = struct
module Make (M : MINIMAL_IMPERATIVE_MAPS) = struct
type key = M.key
......
......@@ -19,7 +19,7 @@ open Sigs
(**{!Make} constructs a memoizer for a type [key] that is
equipped with an implementation of imperative maps. *)
module Make
(M : IMPERATIVE_MAPS)
(M : MINIMAL_IMPERATIVE_MAPS)
: MEMOIZER with type key = M.key
and type 'a t = 'a M.t
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment