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