pub fn assert_consistent_term_impl<T>(t: &T)
Expand description
Test that the given term is consistent in its implementation of the Term
trait.
NB: it may be necessary to explicitly specify the parameter T
,
even when the type of t
is known. E.g.: assert_consistent_term_impl::<MyTerm>(&t)
.