Automaton (parsexp.Parsexp.Private.Automaton)

module Stack : sig ... end

module Context : sig ... end

module For_cst : sig ... end

module Kind : sig ... end

module Mode : sig ... end

module State : sig ... end

type (!'u, !'s) t = ('u, 's) State.t

val create : 
  ?initial_pos:Parsexp__.Positions.pos ->
  ('u, 's) Mode.t ->
  ('u, 's) Kind.t ->
  ('u, 's) t

val reset : ?pos:Parsexp__.Positions.pos -> ('a, 'b) t -> unit

val positions : (Parsexp__.Positions.Builder.t, 'a) t -> Parsexp__.Positions.t

val mode : ('u, 's) t -> ('u, 's) Mode.t

val offset : ('a, 'b) t -> int

val line : ('a, 'b) t -> int

val column : ('a, 'b) t -> int

val has_unclosed_paren : ('u, 's) t -> bool

val set_error_state : ('a, 'b) t -> unit

val atom_buffer : ('a, 'b) t -> Buffer.t

val automaton_state : ('u, 's) t -> int

val context : ('a, 'b) t -> Context.t

val feed_bytes : ('a, 'stack) t -> bytes -> 'stack -> 'stack

val feed_string : ('a, 'stack) t -> string -> 'stack -> 'stack

val feed_subbytes : 
  ('a, 'stack) t ->
  bytes ->
  pos:int ->
  len:int ->
  'stack ->
  'stack

val feed_substring : 
  ('a, 'stack) t ->
  string ->
  pos:int ->
  len:int ->
  'stack ->
  'stack

val feed : ('a, 'b) t -> char -> 'b -> 'b

val feed_eoi : ('a, 'b) t -> 'b -> 'b

val old_parser_cont_state : ('a, 'b) t -> Parsexp__.Old_parser_cont_state.t

val of_substring : 
  ('u, 's) Mode.t ->
  ('u, 's) Kind.t ->
  string ->
  pos:int ->
  len:int ->
  ('u, 's) t * 's