Commit 1afc9c5b by POTTIER Francois

Make [Misc.tabulatef] private.

parent fa3934fb
......@@ -48,6 +48,12 @@ let tabulateb n f =
if element then count + 1 else count
) 0 a
(* [tabulatef number fold n dummy f] returns a function that is extensionally
equal to [f], but relies on an internal array. Arguments to [f] are of type
['a] and are mapped by [number] into the range [0..n). [fold] allows
folding over the domain of [f]. [dummy] is used to initialize the internal
array. Its value has no impact if [fold] is surjective. *)
let tabulatef number fold n dummy f =
let a = Array.make n dummy in
let () = fold (fun () element ->
......
......@@ -45,20 +45,6 @@ val tabulate: int -> (int -> 'a) -> (int -> 'a)
val tabulateb: int -> (int -> bool) -> (int -> bool) * int
(* [tabulatef number fold n dummy f] returns a function that is extensionally
equal to [f], but relies on an internal array. Arguments to [f] are of type
['a] and are mapped by [number] into the range [0..n). [fold] allows
folding over the domain of [f]. [dummy] is used to initialize the internal
array. Its value has no impact if [fold] is surjective. *)
val tabulatef:
('a -> int) ->
((unit -> 'a -> unit) -> unit -> unit) ->
int ->
'b ->
('a -> 'b) ->
('a -> 'b)
(* [tabulateo number fold n f] returns a function that is
extensionally equal to [f], but relies on an internal
array. Arguments to [f] are of type ['a] and are mapped by [number]
......
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