Type Alias SpecString 

pub type SpecString = Seq<char>;

We use this special alias to tell the exec_spec_verified and exec_spec_unverified macros to compile Seq<char> to String instead of Vec<char>.

Aliased Type

pub struct SpecString { /* private fields */ }

Trait Implementations

impl ExecSpecType for SpecString

Impls for shared traits

type ExecOwnedType = String

Owned version of the exec type.

type ExecRefType<'a> = &'a str

Reference version of the exec type.