package smtlib-utils

  1. Overview
  2. Docs
On This Page
  1. SMTLIB 2.6 API
Legend:
Library
Module
Module type
Parameter
Class
Class type

SMTLIB 2.6 API

module Ast : sig ... end
module Loc : sig ... end
module Parser : sig ... end
module Lexer : sig ... end
val parse_file_exn : string -> Ast.statement list

Parse the given file.

val parse_file : string -> (Ast.statement list, string) result
val parse_list : Lexing.lexbuf -> (Ast.statement list, string) result
  • since 0.3
val parse_list_exn : Lexing.lexbuf -> Ast.statement list
  • since 0.3
val parse_chan_exn : ?filename:string -> in_channel -> Ast.statement list

Parse the given channel.

val parse_chan : ?filename:string -> in_channel -> (Ast.statement list, string) result
val parse_string_exn : string -> Ast.statement list

Parse content of the string

  • since 0.2
val parse_string : string -> (Ast.statement list, string) result

Parse content of the string

  • since 0.2
OCaml

Innovation. Community. Security.