Up

module Lookahead

: sig

#

module type S = sig

#

type t

#

val empty : t

#

val constant : Grammar.TerminalSet.t -> t

#

val union : t -> t -> t

end

end