Function is_formal 

fn is_formal<'a>(
    formal: &[&str],
    len: usize,
    label: impl Fn(isize) -> Option<&'a str>,
) -> bool

Whether the len strings label(i) (None for NA) are formal, in order: the formal default of a choice parameter, which an omitted argument evaluates to.