module StmtDefault: sig .. end
sig
end
include Cil_datatype.Stmt
val default : Cil_types.stmt
Cil_types.stmt
val id : Cil_types.stmt -> int
Cil_types.stmt -> int