Struct TermProofAssert 

pub struct TermProofAssert {
    pub proof_assert_token: proof_assert,
    pub bang_token: Not,
    pub block: TermBlock,
}

Fields

proof_assert_token: proof_assert

bang_token: Not

block: TermBlock

Trait Implementations

impl Debug for TermProofAssert

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

Formats the value using the given formatter.

impl From<TermProofAssert> for Term

fn from(e: TermProofAssert) -> Term

Converts to this type from the input type.

impl ToTokens for TermProofAssert

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.