Module Cil_datatype.StmtList


module StmtList: S  with type t = stmt list
Datatype for a set of datatypes.