Smtlib (docs.other.smtml.Smtml.Smtlib)

module Loc = Dolmen.Std.Loc

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

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

val z_of_string_opt : string -> Z.t option

module Term : sig ... end

module Statement : sig ... end

module Extension : sig ... end

include sig ... end

type token =
  Dolmen_smtlib2_v6_script.Make(Loc)(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)