fork download
  1. type NFA<'s, 'a> when 's : comparison =
  2. 's * /// current state
  3. ('s -> Option<'a> -> Set<'s>) * /// transition function
  4. 's * /// initial state
  5. Set<'s> /// a set final states
Success #stdin #stdout 0.04s 11184KB
stdin
Standard input is empty
stdout
Standard output is empty