package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type constant =
  1. | ConstInt of Number.int_constant
  2. | ConstReal of Number.real_constant
  3. | ConstStr of string
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_def : Format.formatter -> constant -> unit
OCaml

Innovation. Community. Security.