Parser (astral.Astral_internal.ModelParser.Parser)

type token =
  Dolmen_smtlib2_v6_script.Make(Dolmen_std.Loc)(Dolmen_std.Id)(Dolmen_std.Term)(Dolmen_std.Statement)(Extension).token

type statement = Dolmen_std.Statement.t

module Lexer : sig ... end

module Parser : sig ... end

val find : ?dir:string -> string -> string option

val parse_all : 
  [ `Contents of string * string | `File of string | `Stdin ] ->
  Dolmen_std.Loc.file * statement list Stdlib.Lazy.t

val parse_input : 
  [ `Contents of string * string | `File of string | `Stdin ] ->
  Dolmen_std.Loc.file * (unit -> statement option) * (unit -> unit)