Module Register.M

module M: Map.S  with type key = t