package smtlib-utils

  1. Overview
  2. Docs

Module Smtlib_utils.V_2_6Source

SMTLIB 2.6 API

Sourcemodule Ast : sig ... end
Sourcemodule Loc : sig ... end
Sourcemodule Parser : sig ... end
Sourcemodule Lexer : sig ... end
Sourceval parse_file_exn : string -> Ast.statement list

Parse the given file.

Sourceval parse_file : string -> (Ast.statement list, string) Result.result
Sourceval parse_chan_exn : ?filename:string -> in_channel -> Ast.statement list

Parse the given channel.

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

Parse content of the string

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

Parse content of the string

  • since 0.2
OCaml

Innovation. Community. Security.