package why3

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module _ : sig ... end

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