Module Beluga_parser.Parser

module Parser_state : sig ... end
module Disambiguation_state = Disambiguation_state.Disambiguation_state
include sig ... end
module Parsing : sig ... end
module Disambiguation : sig ... end
type !'a t = state -> state * 'a
val get : state t
val put : state -> unit t
val modify : (state -> state) -> unit t
val run : 'a t -> state -> state * 'a
val eval : 'a t -> state -> 'a
val exec : 'a t -> state -> state
val traverse_tuple2 : ('a1 -> 'b1 t) -> ('a2 -> 'b2 t) -> ('a1 * 'a2) -> ('b1 * 'b2) t
val traverse_tuple3 : ('a1 -> 'b1 t) -> ('a2 -> 'b2 t) -> ('a3 -> 'b3 t) -> ('a1 * 'a2 * 'a3) -> ('b1 * 'b2 * 'b3) t
val traverse_list : ('a -> 'b t) -> 'a Support.List.t -> 'b Support.List.t t
val traverse_list1 : ('a -> 'b t) -> 'a Support.List1.t -> 'b Support.List1.t t
val traverse_list2 : ('a -> 'b t) -> 'a Support.List2.t -> 'b Support.List2.t t
val traverse_list_void : ('a -> 'b t) -> 'a Support.List.t -> Stdlib.Unit.t t
val traverse_list1_void : ('a -> 'b t) -> 'a Support.List1.t -> Stdlib.Unit.t t
val traverse_list2_void : ('a -> 'b t) -> 'a Support.List2.t -> Stdlib.Unit.t t
val traverse_reverse_list : ('a -> 'b t) -> 'a Support.List.t -> 'b Support.List.t t
val traverse_reverse_list1 : ('a -> 'b t) -> 'a Support.List1.t -> 'b Support.List1.t t
val traverse_reverse_list2 : ('a -> 'b t) -> 'a Support.List2.t -> 'b Support.List2.t t
val traverse_reverse_list_void : ('a -> 'b t) -> 'a Support.List.t -> Stdlib.Unit.t t
val traverse_reverse_list1_void : ('a -> 'b t) -> 'a Support.List1.t -> Stdlib.Unit.t t
val traverse_reverse_list2_void : ('a -> 'b t) -> 'a Support.List2.t -> Stdlib.Unit.t t
val traverse_option : ('a -> 'b t) -> 'a Support.Option.t -> 'b Support.Option.t t
val traverse_option_void : ('a -> 'b t) -> 'a Support.Option.t -> Stdlib.Unit.t t
val seq_list : 'a t Support.List.t -> 'a Support.List.t t
val seq_list1 : 'a t Support.List1.t -> 'a Support.List1.t t
val seq_list_void : unit t list -> unit t
val return : 'a -> 'a t
val bind : ('a -> 'b t) -> 'a t -> 'b t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val compose : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t
val (>=>) : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t
val (let*) : 'a t -> ('a -> 'b t) -> 'b t
val (and*) : 'a t -> 'b t -> ('a * 'b) t
val map : ('a -> 'b) -> 'a t -> 'b t
val ($>) : 'a t -> ('a -> 'b) -> 'b t
val (let+) : 'a t -> ('a -> 'b) -> 'b t
val (and+) : 'a t -> 'b t -> ('a * 'b) t
val ap : 'a t -> ('a -> 'b) t -> 'b t
val (<&>) : ('a -> 'b) t -> 'a t -> 'b t
val ap_first : 'b t -> 'a t -> 'a t
val (<&) : 'a t -> 'b t -> 'a t
val ap_second : 'b t -> 'a t -> 'b t
val (&>) : 'a t -> 'b t -> 'b t
val seq2 : 'a1 t -> 'a2 t -> ('a1 * 'a2) t
val seq3 : 'a1 t -> 'a2 t -> 'a3 t -> ('a1 * 'a2 * 'a3) t
val seq4 : 'a1 t -> 'a2 t -> 'a3 t -> 'a4 t -> ('a1 * 'a2 * 'a3 * 'a4) t
val seq5 : 'a1 t -> 'a2 t -> 'a3 t -> 'a4 t -> 'a5 t -> ('a1 * 'a2 * 'a3 * 'a4 * 'a5) t
val lift2 : ('a1 -> 'a2 -> 'r) -> 'a1 t -> 'a2 t -> 'r t
val lift3 : ('a1 -> 'a2 -> 'a3 -> 'r) -> 'a1 t -> 'a2 t -> 'a3 t -> 'r t
val lift4 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'r) -> 'a1 t -> 'a2 t -> 'a3 t -> 'a4 t -> 'r t
val lift5 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'r) -> 'a1 t -> 'a2 t -> 'a3 t -> 'a4 t -> 'a5 t -> 'r t
val replicate : int -> 'a t -> 'a list t
val make_state : parser_state:Parser_state.state -> disambiguation_state:Disambiguation_state.state -> state
val set_parser_state : Parser_state.state -> Stdlib.Unit.t t
val get_parser_state : Parser_state.state t
val set_disambiguation_state : Disambiguation_state.state -> Stdlib.Unit.t t
val get_disambiguation_state : Disambiguation_state.state t
val parse_and_disambiguate : parser:'a Parsing.t -> disambiguator:(Disambiguation.state -> 'a -> 'b) -> 'b t
val make_initial_parser_state_from_channel : initial_location:Beluga_syntax.Location.t -> Stdlib.in_channel -> Parser_state.state
val make_initial_parser_state_from_string : initial_location:Beluga_syntax.Location.t -> string -> Parser_state.state
val make_initial_state_from_channel : disambiguation_state:Disambiguation_state.state -> initial_location:Beluga_syntax.Location.t -> channel:Stdlib.in_channel -> state
val make_initial_state_from_string : disambiguation_state:Disambiguation_state.state -> initial_location:Beluga_syntax.Location.t -> input:string -> state
val read_multi_file_signature : string Support.List1.t -> Synext.signature