Module `Parser_automaton_internal.Public`

type ('u, 's) mode = | Single Parse a single s-expression | Many Parse a list of s-expressions | Eager of { got_sexp : ('u, 's) state -> 's -> 's; Whether to consider no s-expression in the input as an error or not. The mutability is used in Parsexp.Eager*.Lexbuf_consumer. mutable no_sexp_is_error : bool; } Gives back s-expressions as soon as they are found.
type state_cst
type ('u, 's) kind = | Positions : (Parsexp.Positions.Builder.t, unit) kind | Sexp : (unit, Parsexp__.Automaton_stack.t) kind | Sexp_with_positions : (Parsexp.Positions.Builder.t, Parsexp__.Automaton_stack.t) kind | Cst : (state_cst, Parsexp__.Automaton_stack.For_cst.t) kind

val new_state : ?⁠initial_pos:Parsexp.Positions.pos -> ('u, 's) mode -> ('u, 's) kind -> ('u, 's) state
val reset : ?⁠pos:Parsexp.Positions.pos -> (_, _) state -> unit
val positions : (Parsexp.Positions.Builder.t, _) state -> Parsexp.Positions.t
val mode : ('u, 's) state -> ('u, 's) mode
val offset : (_, _) state -> int: Number of characters fed to the parser

val column : (_, _) state -> int
val has_unclosed_paren : ('u, 's) state -> bool: Whether there are some unclosed parentheses