Skip to main content

msg

logicaffeine_compile::optimize::supercompile

Function msg 

Source 
pub fn msg<'a>(
    e1: &'a Expr<'a>,
    e2: &'a Expr<'a>,
    arena: &'a Arena<Expr<'a>>,
    interner: &mut Interner,
) -> MsgResult<'a>
Expand description

Compute the Most Specific Generalization (MSG) of two expressions.

Given e1 and e2, finds the most specific expression g such that both e1 and e2 are instances of g. Differing subexpressions are replaced with fresh variables named __msg_0, __msg_1, etc.