CharExt

creusot_contracts::std::char

Trait CharExt 

Source 
pub trait CharExt {
    // Required method
    fn to_utf8(self) -> Seq<u8>;
}
Expand description

Extra methods for char

Required Methods§

Source

fn to_utf8(self) -> Seq<u8>

⚠

Implementations on Foreign Types§

Source§

impl CharExt for char

Source§

fn to_utf8(self) -> Seq<u8>

(opaque) ⚠

ensures 

1 <= result.len() && result.len() <= 4

Implementors§