Module Fix.Tabulate

Tabulate offers facilities for tabulating a function, that is, eagerly evaluating this function at every point in its domain, so as to obtain an equivalent function that can be queried in constant time.

module Make : functor (F : Fix__.Sigs.FINITE_TYPE) -> functor (M : Fix__.Sigs.MINIMAL_IMPERATIVE_MAPS with type key = F.t) -> Fix__.Sigs.TABULATOR with type key = F.t
module ForOrderedType : functor (F : Fix__.Sigs.FINITE_TYPE) -> functor (T : Fix__.Sigs.OrderedType with type ForOrderedType.t = F.t) -> Fix__.Sigs.TABULATOR with type key = F.t
module ForHashedType : functor (F : Fix__.Sigs.FINITE_TYPE) -> functor (T : Fix__.Sigs.HashedType with type ForHashedType.t = F.t) -> Fix__.Sigs.TABULATOR with type key = F.t
module ForType : functor (F : Fix__.Sigs.FINITE_TYPE) -> Fix__.Sigs.TABULATOR with type key = F.t
module ForIntSegment : functor (K : sig ... end) -> Fix__.Sigs.TABULATOR with type key = int