pub type FiniteFunction = FiniteFunction<VecKind>;
pub struct FiniteFunction { pub table: VecArray<usize>, pub target: usize, }
table: VecArray<usize>
target: usize