package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 =

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