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 : Stdlib.Lexing.position -> Stdlib.Lexing.position -> t

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

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

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

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

val to_string_opt : t option -> string

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

val get_file : Stdlib.Lexing.lexbuf -> string

val of_lexbuf : Stdlib.Lexing.lexbuf -> t