Pretty
type 'a regexp
=
|
Empty
Epsilon
Seq of 'a regexp * 'a regexp
Alt of 'a regexp * 'a regexp
Star of 'a regexp
Plus of 'a regexp
Trans of 'a
module type S = sig ... end
module type TABLE = sig ... end
module Decompile : functor (X : TABLE) -> functor (S : S) -> sig ... end