Source file `internal.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Internal.BitVec *)
module BitVec = Internal__BitVec

(** @canonical Internal.DFA *)
module DFA = Internal__DFA

(** @canonical Internal.DemarauNFA *)
module DemarauNFA = Internal__DemarauNFA

(** @canonical Internal.NFA *)
module NFA = Internal__NFA