Module Cil_datatype.Label

module Label: S_with_collections  with type t = label