Commit 5c029418 authored by POTTIER Francois's avatar POTTIER Francois

Added [Memoize.String].

parent 5f21e138
......@@ -64,6 +64,10 @@ module INT = struct
type t = int
end
module STRING = struct
type t = string
end
module TrivialHashedType (T : TYPE) = struct
include T
let equal = (=)
......@@ -224,3 +228,6 @@ module ForType (T : TYPE) =
module Int =
ForType(INT)
module String =
ForType(STRING)
......@@ -82,7 +82,10 @@ module ForType
(T : TYPE)
: MEMOIZER with type key = T.t
(* [Int] is an integer memoizer. *)
(* Memoizers for some common types. *)
module Int
: MEMOIZER with type key = int
module String
: MEMOIZER with type key = string
Markdown is supported
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