package smtml

  1. Overview
  2. Docs
On This Page
  1. SMT-LIB Parsing
package smtml
Legend:
Library
Module
Module type
Parameter
Class
Class type

SMT-LIB Parsing

val from_string : string -> (t, [> `Msg of string ]) Smtml_prelude.Result.t

from_string s parses a symbol table from an SMT-LIB string. Warning: Not implemented.

  • alert unsafe not implemented
val from_channel : Smtml_prelude.in_channel -> (t, [> `Msg of string ]) Smtml_prelude.Result.t

from_channel ic parses a symbol table from an SMT-LIB input channel. Warning: Not implemented.

  • alert unsafe not implemented
val from_file : Fpath.t -> (t, [> `Msg of string ]) Smtml_prelude.Result.t

from_file path parses a symbol table from an SMT-LIB file. Warning: Not implemented.

  • alert unsafe not implemented
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct