dafny_runtime

Type Alias DafnyStringUTF16

Source 
pub type DafnyStringUTF16 = Sequence<DafnyCharUTF16>;

Aliased Type§

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

Variants§

§

ArraySequence

Fields

§values: Rc<Vec<DafnyCharUTF16>>
§

ConcatSequence