Module char_list::finite

Type Aliases

• FiniteCharList
  The full CharList type takes a type parameter which represents the tail of the list. For a FiniteCharList, the tail is NoTail – an alias to ().
• NoTail