Type Alias biodivine_sketchbook::sketchbook::model::UninterpretedFnIterator

pub type UninterpretedFnIterator<'a> = Iter<'a, UninterpretedFnId, UninterpretedFn>;

An iterator over all (UninterpretedFnId, UninterpretedFn) pairs of a ModelState.

Aliased Type

struct UninterpretedFnIterator<'a> { /* private fields */ }