Module Cil_datatype.Wide_string

module Wide_string: S_with_collections  with type t = int64 list