module Wto_statement: sig .. end
sig
end
type wto =
|
Nil
Node of Cil_types.stmt * wto
Cil_types.stmt * wto
Component of wto * wto
wto * wto
module WTO: Datatype.S
Datatype.S
val depth_of_stmt : Cil_types.stmt -> int
Cil_types.stmt -> int
val wto_of_kf : Cil_types.kernel_function -> wto
Cil_types.kernel_function -> wto