Type Alias CheckFn 

pub type CheckFn = fn(&[Token], &dyn Fn(&Segment) -> bool) -> bool;