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