sig
type ordered_stmt = int
type 'a ordered_stmt_array = 'a array
type ordered_to_stmt = Cil_types.stmt Ordered_stmt.ordered_stmt_array
type stmt_to_ordered
val to_ordered :
Ordered_stmt.stmt_to_ordered ->
Cil_types.stmt -> Ordered_stmt.ordered_stmt
val to_stmt :
Ordered_stmt.ordered_to_stmt ->
Ordered_stmt.ordered_stmt -> Cil_types.stmt
val get_conversion_tables :
Cil_types.kernel_function ->
Ordered_stmt.stmt_to_ordered * Ordered_stmt.ordered_to_stmt *
int Ordered_stmt.ordered_stmt_array
end