module Int: S with type key = int with type value = float
S
with type key = int
with type value = float