sig
type param =
Kernel_function.t Stack.t *
Lmap_bitwise.From_Model.t Cil_datatype.Stmt.Hashtbl.t *
(Kernel_function.t * Lmap_bitwise.From_Model.t) list
Cil_datatype.Stmt.Hashtbl.t
type result = unit
val extend : (param -> result) -> unit
val apply : param -> result
val is_empty : unit -> bool
val clear : unit -> unit
val length : unit -> int
end