package frama-c

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CfgCompiler.TSource

Relocatable term

Sourcetype t
Sourceval pretty : Format.formatter -> t -> unit

Bundle a term with the sigma sequence that created it.

Sourceval get : t -> Lang.F.term
Sourceval relocate : Sigma.sigma Node.Map.t -> t -> t
Sourceval init' : Node.t -> (Sigma.sigma -> Lang.F.term) -> t
OCaml

Innovation. Community. Security.