Skip to main content

same_shape

ftml_solver::impls::equality

Function same_shape 

Source 
fn same_shape(lhs: &Term, rhs: &Term) -> bool