Enum TyDecl 

pub enum TyDecl {
    Adt {
        tys: Box<[AdtDecl]>,
    },
    Alias {
        ty_name: Ident,
        ty_params: Box<[Ident]>,
        alias: Type,
    },
    Opaque {
        ty_name: Ident,
        ty_params: Box<[Ident]>,
    },
}

Variants

Adt

Fields

tys: Box<[AdtDecl]>

Alias

Fields

ty_name: Ident

ty_params: Box<[Ident]>

alias: Type

Opaque

Fields

ty_name: Ident

ty_params: Box<[Ident]>

Trait Implementations

impl Clone for TyDecl

fn clone(&self) -> TyDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TyDecl

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

Formats the value using the given formatter.

impl Print for TyDecl

fn pretty<'a, A: DocAllocator<'a>>( &'a self, alloc: &'a A, scope: &mut Why3Scope, ) -> DocBuilder<'a, A>

where A::Doc: Clone,

fn display(&self) -> PrintDisplay<'_, Self>

where Self: Sized,