package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val current_offset : int ref

val reloc : Lexing.position -> Lexing.position

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

val transfer_loc : Lexing.lexbuf -> Lexing.lexbuf -> unit

type position

val extract : (Lexing.position * Lexing.position) -> 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