sophia_api::term

Function assert_consistent_term_impl

Source
pub fn assert_consistent_term_impl<T>(t: &T)
where T: Term + Clone,
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).