sig
type param =
[ `Builtin of Value_types.call_froms
| `Def
| `Memexec
| `Spec of Cil_types.funspec ] * state * callstack
type result = unit
val extend : (param -> result) -> unit
val extend_once : (param -> result) -> unit
val apply : param -> result
val is_empty : unit -> bool
val clear : unit -> unit
val length : unit -> int
end