Struct DependentTypeExample 

pub struct DependentTypeExample {
    pub type_name: String,
    pub type_signature: String,
    pub invariant: String,
    pub language: String,
}

Fields

type_name: String

type_signature: String

invariant: String

language: String

Implementations

impl DependentTypeExample

pub fn fixed_length_vector(elem_type: &str, n: usize) -> Self

pub fn sorted_list(elem_type: &str) -> Self

pub fn fin_type(n: usize) -> Self

pub fn type_safety_guarantee(&self) -> String

pub fn extraction_to_code(&self) -> String

Trait Implementations

impl Clone for DependentTypeExample

fn clone(&self) -> DependentTypeExample

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DependentTypeExample

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.