Module Smtml.Parse

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

exception Syntax_error of string

Exception raised when a syntax error occurs during parsing.

Smt.ml Parsing

module Smtml : sig ... end

SMT-LIB Parsing

module Smtlib : sig ... end

Generic Parsing

val 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.