Module Parsing_utils

module Parsing_utils: sig .. end

module E: CCResult

module A: Nunchaku_core.UntypedAST

module Loc: Nunchaku_core.Location

type 'a or_error = ('a, string) CCResult.t 

val section : Nunchaku_core.Utils.Section.t

exception LexError of Loc.t option * string

exception ParseError of Loc.t option * string

val lex_error_ : ?loc:Loc.t -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

val parse_error_ : ?loc:Loc.t -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

type statement = A.statement 

type term = A.term 

type ty = A.ty 

module type PARSER = sig .. end

type include_mode = [ `Env of string | `None | `Relative ] 

module type S = sig .. end

val error_include_ : ?loc:Loc.t -> string -> 'a

val try_files : ?loc:Loc.t -> p:(string -> 'a) -> string -> string list -> 'a

module Make (P : PARSER) : sig .. end