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>

Implementors

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

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

impl IsStatement for Terminator