transition and nfa are tuple type synonyms, not type constructors. Assuming you want make_nfa to be of type int -> int list -> transition ...
確定! 回上一頁