Trait CheckedBody 

pub trait CheckedBody<'db> {
    // Required method
    fn checked_body(self, db: &'db dyn Db) -> Option<SymExpr<'db>>;
}

Required Methods

fn checked_body(self, db: &'db dyn Db) -> Option<SymExpr<'db>>

Implementors

impl<'db> CheckedBody<'db> for SymFunction<'db>