Passed to the function specified with the Extended output_kind
type 'a output_kind = | Numeric of int -> 'a -> 'a| Print of string -> 'a -> 'a| Extended of IndentBlock.t -> output_elt -> 'a -> 'a* If Print f, the whole input is fed as strings through f, with expected lines reindented (with spaces). * If Numeric f, the indentation values (i.e. total number of leading spaces) for each lines on which in_lines is true are passed through the function. * If Extended f, every element is fed to f with arguments state
element. There is at least an element for each token, but there may be more (whitespace, multiline tokens...). You may safely raise an exception from f to stop further processing. This version can be used for syntax highlighting or storing checkpoints.
type 'a output = {debug : bool;config : IndentConfig.t;Returns true on the lines that should be reindented (lines start at 1)
*)in_lines : int -> bool;if true, partial indent will adapt to the current indent of the file
*)adaptive : bool;indent_empty : bool;kind : 'a output_kind;}val std_output : unit outputval proceed : 'a output -> Nstream.t -> IndentBlock.t -> 'a -> 'a