Skip to main content

predicate_uses_v2

rustev_core::expr

Function predicate_uses_v2 

Source 
pub fn predicate_uses_v2(p: &Predicate) -> bool
Expand description

Whether a predicate uses a construct of rustev.exact/2.