package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

A BIL analysis pass

  • since 1.5
val name : pass -> string

name p returns the name of the given pass.

include Regular.Std.Printable.S with type t := pass
val to_string : pass -> string

to_string x returns a human-readable representation of x

val str : unit -> pass -> string

str () t is formatted output function that matches "%a" conversion format specifier in functions, that prints to string, e.g., sprintf, failwithf, errorf and, surprisingly all Lwt printing function, including Lwt_io.printf and logging (or any other function with type ('a,unit,string,...) formatN`. Example:

Or_error.errorf "type %a is not valid for %a"
  Type.str ty Exp.str exp
val pps : unit -> pass -> string

synonym for str

val ppo : Core_kernel.Out_channel.t -> pass -> unit

will print to a standard output_channel, useful for using in printf, fprintf, etc.

prints a sequence of values of type t

this will include pp function from Core that has type t printer, and can be used in Format.printf family of functions

include Core_kernel.Pretty_printer.S with type t := pass
val pp : Base.Formatter.t -> pass -> unit