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