veri_
engine_
lib
0.1.0
Module termname
Module Items
Functions
In crate veri_
engine_
lib
veri_engine_lib
Module
termname
Copy item path
Source
Functions
ยง
pattern_
contains_
termname
Check whether the pattern (the LHS term) contains a given term name, including in any subterms.