Trait IsStatement 

trait IsStatement {
    // Required methods
    fn get_span(&self) -> Span;
    fn get_comments_before(&mut self) -> &mut Vec<String>;
}

Required Methods

fn get_span(&self) -> Span

fn get_comments_before(&mut self) -> &mut Vec<String>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl IsStatement for charon_lib::ast::llbc_ast::Statement

impl IsStatement for charon_lib::ast::ullbc_ast::Statement

impl IsStatement for Terminator