Module type Fix.TABULATOR

type key
val tabulate : (key -> 'a) -> key -> 'a