Module Datascope.StmtDefault

module StmtDefault: sig .. end
Statement identifier

include Cil_datatype.Stmt
val default : Cil_types.stmt
val id : Cil_types.stmt -> int