Skip to main content

is_sequence_binary

ftml_solver::rules::fixity

Function is_sequence_binary 

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