Module Astral_internal.ParserUtils

type loc := Dolmen_std.Loc.t
type dolmen_msg := [
  1. | `Advanced of string * (Stdlib.Format.formatter -> unit) * (Stdlib.Format.formatter -> unit) * (Stdlib.Format.formatter -> unit)
  2. | `Regular of Stdlib.Format.formatter -> unit
]

This type does not have name in Dolmen

val show_msg : dolmen_msg -> string
val lift_cons : ?loc:loc -> ('a -> 'b) -> string -> 'a list -> 'b

Lift unary constructor to lists.

val lift_cons2 : ?loc:loc -> ('a -> 'a -> 'b) -> string -> 'a list -> 'b

Lift binary constructor to lists.

val lift_cons3 : ?loc:loc -> ('a -> 'a -> 'a -> 'b) -> string -> 'a list -> 'b

Lift ternary contstructor to lists.

val lift_cons4 : ?loc:loc -> ('a -> 'a -> 'a -> 'a -> 'b) -> string -> 'a list -> 'b

Lift quaternary constructor to lists.

val lift_bitvector_list : ?loc:loc -> string -> (int -> BaseLogic.t list -> BaseLogic.t) -> BaseLogic.t list -> BaseLogic.t