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