Frama-C API - Iterator
type state = Dom.tval compute : save_results:bool -> Callstack.t -> state -> (Partition.key * state) list * Eval.cacheable
Frama-C Frama-C Iteratortype state = Dom.tval compute : save_results:bool -> Callstack.t -> state -> (Partition.key * state) list * Eval.cacheable