Smtlib (p.smtml.0.7.0.doc.smtml.Smtml.Smtlib)

module Loc = Dolmen.Std.Loc

Sourceval custom_sorts : (string, Ty.t) Smtml_prelude.Hashtbl.t

Sourceval pp_loc : Format.formatter -> Loc.t option -> unit

Sourcemodule Term : sig ... end

Sourcemodule Statement : sig ... end

Sourcemodule Extension : sig ... end

include sig ... end

type token =
  Dolmen_smtlib2_v6_script.Make(Loc)(Smtml.Symbol)(Term)(Statement)(Extension).token

type statement = 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 ] ->
  Loc.file * statement list Lazy.t

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