DafnyStringUTF16

Type Alias DafnyStringUTF16 

Source
pub type DafnyStringUTF16 = Sequence<DafnyCharUTF16>;

Aliased Type§

pub enum DafnyStringUTF16 {
    ArraySequence {
        values: Rc<Vec<DafnyCharUTF16>>,
    },
    ConcatSequence {
        left: Rc<RefCell<Sequence<DafnyCharUTF16>>>,
        right: Rc<RefCell<Sequence<DafnyCharUTF16>>>,
        length: usize,
        cache: Rc<RefCell<Option<Rc<Vec<DafnyCharUTF16>>>>>,
    },
}

Variants§

§

ArraySequence

Fields

§

ConcatSequence