sig
val
prolog_parser :
Term
.symbol_table
->
char
Stream
.t
->
Term
.term
Stream
.t
end