Trait ForLoopGhostIterator 

pub trait ForLoopGhostIterator {
    type ExecIter;
    type Item;
    type Decrease;
}

Required Associated Types

type ExecIter

type Item

type Decrease

Implementors

impl<'a> ForLoopGhostIterator for CharsGhostIterator<'a>

Available on crate feature alloc and non-verus_verify_core only.

type ExecIter = Chars<'a>

type Item = char

type Decrease = int