package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val string : Format.formatter -> string -> unit
val int : Format.formatter -> int -> unit
val bool : Format.formatter -> bool -> unit
val float : Format.formatter -> float -> unit
val standard_float : Format.formatter -> float -> unit
val list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val map_bindings : ('a -> string) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ('a * 'b) list -> unit
val print_json_field : string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val convert_record : (string * 'a) list -> 'a Wstdlib.Mstr.t
type json =
  1. | Record of json Wstdlib.Mstr.t
  2. | Proj of json Wstdlib.Mstr.t
  3. | List of json list
  4. | String of string
  5. | Int of int
  6. | Float of float
  7. | Bool of bool
  8. | Null
val print_json : Format.formatter -> json -> unit
val get_field : json -> string -> json
val get_string : json -> string
val get_int : json -> int
val get_list : json -> json list
val get_float : json -> float
val get_bool : json -> bool
val get_bool_opt : json -> bool -> bool
OCaml

Innovation. Community. Security.