package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_spec_constant : Format.formatter -> Smtlib.constant -> unit

Pretty-printer for SMT-LIB AST

val pp_loc : Format.formatter -> Location.t -> unit

pretty-prints a location

val pp_symbol : Format.formatter -> Smtlib.symbol -> unit

pretty-prints a SMT symbol

val pp_sort : Format.formatter -> Smtlib.sort -> unit

pretty-prints a SMT sort

val pp_term : Format.formatter -> Smtlib.term -> unit

pretty-prints a SMT term

val pp_qual_identifier : Format.formatter -> Smtlib.qual_identifier -> unit

pretty-prints a SMT qualified identifier

val pp : Format.formatter -> Smtlib.script -> unit

pp fmt ast pretty-prints a full SMT-LIB script onto a formatter

val pp_command : Format.formatter -> Smtlib.command -> unit
val pp_commands : Format.formatter -> Smtlib.commands -> unit

pp_commands pretty_prints an arbitrary command list onto a formatter. Used by pp.

val pp_model : Format.formatter -> Smtlib.model -> unit
val pp_tofile : string -> Smtlib.script -> unit

pp_tofile filename script Prints a SMT-LIB script into the file named ** filename. The file is created if needed. Contents from any present file is ** not preserved.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet 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