Module Cil_datatype.Label


module Label: S  with type t = label