package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : Logic.Term

Signature

type env

environment for pretty printing

val empty : env
val marks : env -> T.marks
val known : env -> T.Vars.t -> env
val fresh : env -> T.term -> string * env
val bind : string -> T.term -> env -> env
val pp_tau : Stdlib.Format.formatter -> T.tau -> unit
val pp_term : env -> Stdlib.Format.formatter -> T.term -> unit

print with the given environment without modifying it

val pp_def : env -> Stdlib.Format.formatter -> T.term -> unit
val pp_term_env : env -> Stdlib.Format.formatter -> T.term -> unit

print with the given environment and update it

val pp_def_env : env -> Stdlib.Format.formatter -> T.term -> unit