Frama-C API - `C`

Relocatable condition

type t

val equal : t -> t -> bool

val create : Sigma.sigma -> Lang.F.pred -> t

Bundle an equation with the sigma sequence that created it.

val get : t -> Lang.F.pred

val reads : t -> Sigma.domain

val relocate : Sigma.sigma -> t -> t

Frama-C API - C