sig
type state
val initial_state :
lib_entry:bool -> Initialization.S.state Bottom.Type.or_bottom
val initial_state_with_formals :
lib_entry:bool ->
Cil_types.kernel_function -> Initialization.S.state Bottom.Type.or_bottom
val initialize_local_variable :
Cil_types.stmt ->
Cil_types.varinfo ->
Cil_types.init ->
Initialization.S.state -> Initialization.S.state Bottom.Type.or_bottom
end