package smtlib-utils

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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) Stdlib.result

val parse_list : 
  Stdlib.Lexing.lexbuf ->
  (Ast.statement list, string) Stdlib.result

val parse_list_exn : Stdlib.Lexing.lexbuf -> Ast.statement list

val parse_chan_exn : 
  ?filename:string ->
  Stdlib.in_channel ->
  Ast.statement list

Parse the given channel.

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

val parse_string_exn : string -> Ast.statement list

Parse content of the string

val parse_string : string -> (Ast.statement list, string) Stdlib.result

Parse content of the string