package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type constant =

val compare_const : constant -> constant -> int

val int_const : BigInt.t -> constant

val int_const_of_int : int -> constant

val real_const : ?pow2:BigInt.t -> ?pow5:BigInt.t -> BigInt.t -> constant

val string_const : string -> constant

type escape_map = char -> string

val default_escape : escape_map

val unsupported_escape : escape_map

val escape : escape_map -> string -> string

val print_string_constant : escape_map -> Format.formatter -> string -> unit

val print_string_def : Format.formatter -> string -> unit

val print : 
  Number.number_support ->
  escape_map ->
  Format.formatter ->
  constant ->
  unit

val print_def : Format.formatter -> constant -> unit