sig
type token =
Id of string
| Key of string
| Proof of string * string
| Word
| Eof
type input
val open_file : string -> Script.input
val close : Script.input -> unit
val skip : Script.input -> unit
val token : Script.input -> Script.token
val error :
Script.input ->
('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val key : Script.input -> string -> bool
val eat : Script.input -> string -> unit
val ident : Script.input -> string
val idents : Script.input -> string list
val filter : string -> string option
end