package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Pretty.Make`Source

module T : Logic.Term

Sourcetype env

environment for pretty printing

Sourceval empty : env

Sourceval marks : env -> T.marks

Sourceval known : env -> T.Vars.t -> env

Sourceval fresh : env -> T.term -> string * env

Sourceval bind : string -> T.term -> env -> env

Sourceval pp_tau : Format.formatter -> T.tau -> unit

Sourceval pp_term : env -> Format.formatter -> T.term -> unit

print with the given environment without modifying it

Sourceval pp_def : env -> Format.formatter -> T.term -> unit

Sourceval pp_term_env : env -> Format.formatter -> T.term -> unit

print with the given environment and update it

Sourceval pp_def_env : env -> Format.formatter -> T.term -> unit