package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module K : sig ... end

Signature

val iprinter : Ident.ident_printer
val aprinter : Ident.ident_printer
val tprinter : Ident.ident_printer
val forget_id : Ident.ident -> unit
val _forget_ids : Ident.ident list -> unit
val forget_var : Mltree.var -> unit
val forget_vars : Mltree.var list -> unit
val forget_let_defn : Mltree.let_def -> unit
val forget_pat : Mltree.pat -> unit
val print_global_ident : sanitizer:(string -> string) -> Format.formatter -> Ident.ident -> unit
val print_path : sanitizer:(string -> string) -> Format.formatter -> (string list * Ident.ident) -> unit
val print_lident : info -> Format.formatter -> Ident.Sid.elt -> unit
val print_uident : info -> Format.formatter -> Ident.Sid.elt -> unit
val print_tv : Format.formatter -> Ty.tvsymbol -> unit
val print_rs : info -> Format.formatter -> Expr.rsymbol -> unit
val check_type_in_drv : info -> Ident.ident -> unit
val print_ty : ?paren:bool -> info -> Mltree.ty Pp.pp
OCaml

Innovation. Community. Security.