# 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`