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

Locations

type t = {

}

val mk : string -> int -> int -> int -> int -> t

val mk_pair : string -> (int * int) -> (int * int) -> t

val mk_pos : Lexing.position -> Lexing.position -> t

val equal : 'a -> 'a -> bool

val pp : Format.formatter -> t -> unit

val pp_opt : Format.formatter -> t option -> unit

val pp_to_string : (Format.formatter -> 'a -> 'b) -> 'a -> string

val to_string_opt : t option -> string

val set_file : Lexing.lexbuf -> string -> unit

val get_file : Lexing.lexbuf -> string

val of_lexbuf : Lexing.lexbuf -> t