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>>>>>,
},
}