make_intensional

logicaffeine_language::lambda

Function make_intensional 

Source 
pub fn make_intensional<'a>(
    operator: Symbol,
    content: &'a LogicExpr<'a>,
    arena: &'a Arena<LogicExpr<'a>>,
) -> &'a LogicExpr<'a>
Expand description

Wraps an expression in an intensional operator.

Creates operator[content] for de dicto readings of intensional verbs.