Skip to main content

was_sequence_binary

ftml_solver::rules::fixity

Function was_sequence_binary 

Source 
fn was_sequence_binary<'t>(
    uri: &SymbolUri,
    t: &'t Term,
    head: Either<&Symbol, &VariableDeclaration>,
) -> Option<(&'t ApplicationTerm, &'t Term, &'t Term, usize)>