Searched defs:check_explicit (Results 1 – 6 of 6) sorted by relevance
139 pub(crate) fn check_explicit(&self, predicate: &ArgPredicate) -> bool { in check_explicit() method
151 pub(crate) fn check_explicit(&self, predicate: ArgPredicate) -> bool { in check_explicit() method
129 pub(crate) fn check_explicit(&self, arg: &Id, predicate: &ArgPredicate) -> bool { in check_explicit() method
139 pub(crate) fn check_explicit<'a>(&self, arg: &Id, predicate: ArgPredicate<'a>) -> bool { in check_explicit() method