Type Alias ScalarAssignmentRule 

pub type ScalarAssignmentRule<S> = fn(&S, usize, usize, usize, usize) -> bool;