Function puffin::fuzzer::utils::choose_filtered

source ยท 
pub fn choose_filtered<'a, R: Rand, PT: ProtocolTypes, P: Fn(&Term<PT>) -> bool + Copy>(
    trace: &'a Trace<PT>,
    constraints: &TermConstraints,
    filter: P,
    rand: &mut R,
) -> Option<(&'a Term<PT>, (usize, TermPath))>