sig
type prolog_token =
PunctuationPrologToken of string
| VarPrologToken of string
| ConstPrologToken of string
| IntPrologToken of int
| FloatPrologToken of float
val prolog_lexer : char Stream.t -> PrologGenlex.prolog_token Stream.t
end