package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val current_offset : int ref
val set_file : string -> Lexing.lexbuf -> unit
val transfer_loc : Lexing.lexbuf -> Lexing.lexbuf -> unit
type position
val join : position -> position -> position
val dummy_position : position
val user_position : string -> int -> int -> int -> position
val get : position -> string * int * int * int
val compare : position -> position -> int
val equal : position -> position -> bool
val hash : position -> int
val gen_report_position : Format.formatter -> position -> unit
val report_position : Format.formatter -> position -> unit
exception Located of position * exn
val try1 : ?loc:position -> ('a -> 'b) -> 'a -> 'b
val try2 : ?loc:position -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
val try3 : ?loc:position -> ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd
val try4 : ?loc:position -> ('a -> 'b -> 'c -> 'd -> 'e) -> 'a -> 'b -> 'c -> 'd -> 'e
val try5 : ?loc:position -> ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a -> 'b -> 'c -> 'd -> 'e -> 'f
val try6 : ?loc:position -> ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g) -> 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g
val try7 : ?loc:position -> ('a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g -> 'h) -> 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g -> 'h
val error : ?loc:position -> exn -> 'a
exception Message of string
val errorm : ?loc:position -> ('a, Format.formatter, unit, 'b) format4 -> 'a
val with_location : (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'a
OCaml

Innovation. Community. Security.