module type FUNCTION_ENV = sig .. end
sig
end
val to_ordered : Cil_types.stmt -> Ordered_stmt.ordered_stmt
Cil_types.stmt -> Ordered_stmt.ordered_stmt
val to_stmt : Ordered_stmt.ordered_stmt -> Cil_types.stmt
Ordered_stmt.ordered_stmt -> Cil_types.stmt
val nb_stmts : int
int
val kf : Kernel_function.t
Kernel_function.t