package smtml

  1. Overview
  2. Docs

Module Smtml.ParseSource

SMT Script Parsing Module. This module provides functionality for parsing Smt.ml and SMT-LIB scripts from files or strings. It supports both custom Smt.ml syntax and the standard SMT-LIB format.

Exceptions

Sourceexception Syntax_error of string

Exception raised when a syntax error occurs during parsing.

Smt.ml Parsing

Sourcemodule Smtml : sig ... end

SMT-LIB Parsing

Sourcemodule Smtlib : sig ... end

Generic Parsing

Sourceval from_file : Fpath.t -> Ast.Script.t

from_file file attempts to parse an SMT-ML (.smtml) or SMT-LIB (.smt2) script based on the file extension of file.