module U : sig ... endval push_here_document_operator :
bool ->
CST.word CST.located Stdlib.ref ->
unitpush_here_document_operator dashed word_ref registers a redirection operator:
dashed is true when the operator is <<-, and false if <<-word_ref is a reference to a located word. This reference will later be assigned the contents of the here document.val push_here_document_delimiter : string -> CST.word_cst -> unitpush_here_document_operator dashed word_ref registers a redirection operator:
dashed is true when the operator is <<-, and false if <<-word_ref is a reference to a located word. This reference will later be assigned the contents of the here document.push_here_document_delimiter word registers word as the delimiting word pertaining to the preceding redirection operator.
start scanning the here documents that we have registered.
val next_here_document :
Stdlib.Lexing.lexbuf ->
PrelexerState.t ->
Pretoken.t * Stdlib.Lexing.position * Stdlib.Lexing.positionstart scanning the here documents that we have registered.
scans the contents of a here document including the line containing the delimiter. Returns the pretoken containing the contents of the here document. As a side effect, assigns the contents of the here document to the reference that was registered by push_here_document_operator.
Are we currently reading a sequence of here documents?
Must the next word be a here document delimiter?