package why3

  1. Overview
  2. Docs
package why3
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Unprinted of string
val c_keywords : string list
val sanitizer : string -> string
val local_printer : Ident.ident_printer
val global_printer : Ident.ident_printer
val print_local_ident : Format.formatter -> Ident.ident -> unit
val print_global_ident : Format.formatter -> Ident.ident -> unit
val clear_local_printer : unit -> unit
val space_nolinebreak : Format.formatter -> unit -> unit
val protect_on : ?boxed:bool -> bool -> ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
val extract_stars : C.ty -> int * C.ty
val print_ty : ?paren:bool -> C.ty Pp.pp
val print_unop : Format.formatter -> C.unop -> unit
val unop_postfix : C.unop -> bool
val print_binop : Format.formatter -> C.binop -> unit
val print_expr : prec:int -> C.expr Pp.pp
val print_const : Format.formatter -> C.constant -> unit
val print_id_init : stars:int -> Format.formatter -> (Ident.ident * C.expr) -> unit
val print_expr_no_paren : Format.formatter -> C.expr -> unit
val print_stmt : braces:bool -> C.stmt Pp.pp
val print_def : C.definition Pp.pp
val print_body : Format.formatter -> C.body -> unit
val print_global_def : Format.formatter -> C.definition -> unit
val print_file : Format.formatter -> info -> C.definition list -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct