Struct TheoremDecl 

pub struct TheoremDecl {
    pub name: String,
    pub body: Spanned<Expr>,
}

Fields

name: String

body: Spanned<Expr>

Trait Implementations

impl Clone for TheoremDecl

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TheoremDecl

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

Formats the value using the given formatter.