elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
exception ParseError of Elpi_util.Util.Loc.t * string
module type ParseFile = sig ... end
val substrings : string -> string list
val find_sub : ( string, 'a ) Hashtbl.t -> string -> 'b
val precedence_of : string -> Elpi_lexer_config.Lexer_config.fixity * int
val umax_precedence : int
val appl_precedence : int
val inf_precedence : int
val comma_precedence : int
val min_precedence : int
val lam_precedence : int
val umin_precedence : int
val pp_fixed : Format.formatter -> string list -> unit
val pp_non_enclosed : Format.formatter -> bool -> unit
val legacy_parser_compat_error : string
val error_mixfix : Elpi_util.Util.Loc.t -> 'a