pub type Label = u32;
Type used for the input label and output label of a transition in a wFST -> usize