Module Datatype.String


module String: S  with type t = string