sig type param = state * (Db_types.kernel_function * Cil_types.kinstr) list val extend : (param -> unit) -> unit val apply : param -> unit val is_empty : unit -> bool val clear : unit -> unit val length : unit -> int end