package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

Relocatable term

Sourcetype t

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

Sourceval create : Sigma.sigma Node.Map.t -> Lang.F.term -> t

Bundle a term with the sigma sequence that created it.

Sourceval get : t -> Lang.F.term

Sourceval reads : t -> Sigma.domain Node.Map.t

Sourceval relocate : Sigma.sigma Node.Map.t -> t -> t

Sourceval init : Node.Set.t -> (Sigma.sigma Node.Map.t -> Lang.F.term) -> t

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