import public NFA.PrettyPrint.Interfaces
printNFA : Ordered Char => (nfa : NA) -> Ordered (Maybe (nfa .State)) => Show (nfa .State) => String