enumerate_intensional_readings

logicaffeine_language::lambda

Function enumerate_intensional_readings 

Source 
pub fn enumerate_intensional_readings<'a>(
    expr: &'a LogicExpr<'a>,
    interner: &mut Interner,
    expr_arena: &'a Arena<LogicExpr<'a>>,
    term_arena: &'a Arena<Term<'a>>,
    role_arena: &'a Arena<(ThematicRole, Term<'a>)>,
) -> Vec<&'a LogicExpr<'a>>