Tabulate.Make
module F : sig ... end
module M : sig ... end
type key = F.t
val tabulate : (key -> 'a) -> key -> 'a