package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val create : unit -> t
val copy : t -> t
val clear : t -> unit
val used : t -> string -> bool
val fresh : t -> sanitizer:('a -> string) -> ?suggest:bool -> 'a -> string
val define : t -> string -> T.term -> unit
val unfold : t -> T.term -> unit
val shared : t -> T.term -> bool
val shareable : t -> T.term -> bool
val set_indexed_vars : t -> unit
val iter : (string -> T.term -> unit) -> t -> unit